# KEHOME/kb/tabrasa.html
# May/16/2003
#===================#
# tabula rasa #
# minimum hierarchy #
#===================#
begin hierarchy tabhi;
existent;
/ entity;
// ANIMAL;
/// person;
// PLANT;
// OBJECT;
/// group;
/// symbol;
/ characteristic;
// part;
// attribute;
/// chartype;
/// purpose;
/// format;
/// meaning;
/// fact; # text of input line
/// space; # context space
/// time; # context time
/// view; # context view
/// product; # sentence output
/// subject; # sentence subject
/// predicate; # sentence predicate
/// object; # sentence object
// relation;
// action;
/// sense;
/// perceive;
/// classify;
/// measure;
/// identify;
// interaction;
/ proposition;
// context;
// sentence;
// newproposition;
/ unknown;
group; # abstract OBJECT
/ concept;
// number;
// individual concept; # exgroup, singular
// collective concept; # ingroup, plural
/ directory;
/ enumeration;
/ LATTICE;
// lattice;
// hierarchy;
// unithierarchy;
/ list;
/ multiset;
/ sequence;
/ Set;
group; # for RDF/OWL
/ html;
/ mcf;
/ owl;
/ rdf;
/ triple;
/ xml;
symbol; # concrete OBJECT
/ separator;
/ word;
sentence;
/ statement;
// definition;
/ question;
/ command;
/ assignment;
end hierarchy tabhi;
begin unithierarchy tabprim;
OBJECT;
/ ke;
space;
/ here;
/ there;
/ everywhere;
time;
/ now;
/ past;
/ present;
/ future;
end unithierarchy tabprim;
#=====================#
# RDF/OWL segregation #
#=====================#
#####existent isg
##### owl:Thing;
owl:Thing isg
mkr:Entity,
rdf:Property,
rdf:Statement;
mkr:Entity isg
owl:AllDifferent,
rdfs:Container,
owl:DeprecatedClass,
mkr:Enumeration,
mkr:Intersection,
rdf:List,
owl:Ontology,
mkr:Union;
rdf:Property isg
owl:DataRange,
rdfs:Datatype,
owl:DeprecatedProperty,
rdfs:Literal,
owl:Restriction;
rdf:Property isp
rdf:type,
rdfs:domain,
rdfs:range,
rdfs:subClassOf,
rdfs:subPropertyOf;
rdf:Property,
rdf:DeprecatedProperty
has chartype=characteristic;
rdfs:domain,
rdfs:range,
owl:DataRange,
rdfs:Datatype,
rdfs:Literal
has chartype=attribute;
rdf:type,
rdfs:subClassOf,
rdfs:subPropertyOf
has chartype=relation;
owl:Restriction
has chartype=differentia;
Thing is owl:Thing;
rdfs:Resource,rdfs:Class is owl:Thing;
Resource,Class is owl:Thing;