# # KEHOME/kb/spo.owl # Feb/22/2007 begin hierarchy cps; Thing; / Class; / Property; // type; // subClassOf; / Statement; // s1 :: subject property value.; // s2 :: subject property object.; /// s2a :: individual type class; /// s2b :: species subClassOf genus; Class; / file; / Container; // List; // Set; // Oneof; end hierarchy cps; begin hierarchy imaginary; Nothing; end hierarchy imaginary; # RDF relation OWL Resource is Thing; # mKR relation OWL nonexistent is Nothing; existent is Thing; # entity is Class; # attribute iss Property; # binary relation iss Property; # statement isg Statement; # group isg Container; # list is List; # set is Set; # enum is Oneof; # isa* is type; # iss* is subClassOf; # iss iss subClassOf; # isall (ingroup) iss member; # isany (exgroup) iss member; #