/users/cjm/cvs/blipkit/packages/blip/ontol/ontol_db.pro
All
Application
Manual
Name
Summary
Help
subclass
(?Class, ?SuperClass)
is
nondet
An asserted is_a (subtype, subsumption) relationship equivalent to owl:subClassOf transitive form is
subclassT/2