#
# KEHOME/kb/spo.owl.html
# Feb/22/2007 Jun/10/2008
begin hierarchy cps;
Thing;
/ Class;
/ Property;
// i:type;
// i:subClassOf;
// i:subPropertyOf;
/ Statement;
// s_value :: subject property value.;
// s_rel :: subject property object.;
/// s_isu :: individual type class;
/// s_iss :: species subClassOf genus;
Class;
/ file;
/ Container;
// List;
// Set;
// Oneof;
end hierarchy cps;
# qualifiers
owl:Thing is Thing;
##owl:Nothing is Nothing;
owl:Class is Class;
owl:Property is Property;
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;
#