#
# Tabula Rasa Hierarchy
#<![CDATA[
# KEHOME/kb/tabrasa.html
# Nov/10/2005 Feb/18/2007 Mar/10/2007
# Jun/10/2008 no "i:" for attributes
# Jul/21/2008 interaction: birth, marry, divorce
let echo=off;
#=====================#
# tabula rasa context #
# minimum hierarchy #
#=====================#
#####at view = tabula rasa;
# existence
entity isa existent;
# identity
characteristic isa existent;
# identification
proposition isa existent;
proposition has
format = {entity has characteristic;};
# ECP hierarchy
begin hierarchy axiomhi;
existent;
/ entity;
/ characteristic;
/ proposition;
end hierarchy axiomhi;
# ECP axioms
#####existent is existent;
#####A isa existent; # any existent
#####A is A;
#####A or not A is existent;
#####A and not A is nonexistent;
#####
#####nonexistent is not nonexistent; # contradiction
#####B is nonexistent; # any nonexistent
#####B is not B;
#####B or not B is nonexistent;
#####B and not B is nonexistent;
#--------------------------------------------#
ANIMAL iss entity;
person iss ANIMAL;
man is person; # man isa**2 entity;
# knowledge
knowledge := man do identify od entity with purpose done;
knowledge haspart proposition list;
#man isa* entity;
identify iss action;
purpose iss attribute;
action, attribute isa characteristic;
# closure
#proposition ::=
# sentence;
# at context;
# at context { proposition list };
#context ::=
# space = s, time = t, view = v
#statement ::=
# subject is object;
# subject isa object with differentia;
# subject haspart part = value;
# subject has attribute = value;
# subject binary-relation object;
# subject isin nary-relation = value;
# at space = s, time = t {
# entity do action = event
# out action products
# of action domains
# with action characteristics
# od action direct objects
# from action initial characterstics
# to action final characteristics
# done;
# };
# event:1 causes event:2;
#conditional ::=
# if proposition
# then proposition list:1
# else proposition list:2
# fi;
#iteration ::=
# every generator; {
# proposition list # using $variable
# };
# while proposition {
# proposition list
# };
# until proposition {
# proposition list
# };
# when entity do action = event ... done; { # not implemented
# proposition list # using $action
# };
# additions to ECP hierarchy
begin hierarchy TABULA RASA;
entity;
/ ANIMAL;
// person;
/// i:user;
/ PLANT;
/ OBJECT;
// symbol; # concrete OBJECT
// file; # concrete OBJECT
// i:ke;
characteristic;
/ part;
// context;
// sentence;
/ attribute;
// purpose;
// space; # context
// time; # context
// view; # context
// chartype;
// format;
// meaning;
/ relation;
/ action;
// identify;
/ interaction;
// birth;
// marry;
// divorce;
sentence;
/ production;
/ statement;
// definition; # see KEHOME/doc/MKRgrammar.html
/// group definition;
/ question;
/ command;
/ assignment;
/ conditional;
/ iteration;
group; # abstract entity
/ exgroup;
// individual concept; # exgroup, singular
// enum; # alternatives
/ ingroup;
// string;
// collective concept; # ingroup, plural
/// number;
//// integer;
// list; # space order
// sequence; # time order
// set; # no order
// multiset; # repetitions
// LATTICE; # isa order
/// lattice; # ambiguous genus
/// hierarchy; # unique genus
/// unithierarchy;
symbol; # see KEHOME/kb/ke.html
/ separator;
/ word;
attribute;
/ product; # sentence output
/ subject; # sentence subject
/ predicate; # sentence predicate
/ object; # sentence object
end hierarchy TABULA RASA;
#--------------------------------------------#
# additional MKR concepts
#####at view = mkr;
begin hierarchy mkrhi;
existent;
/ unknown; # unknown genus
group;
/ directory;
/ family;
attribute;
/ fact; # text of input line
action;
/ COMMAND; # ke action
/ method; # user-defined command
/ sense; # concept formation
/ perceive; # concept formation
/ classify; # concept formation
/ measure; # concept formation
/ integrate; # concept formation
/ differentiate; # concept formation
proposition;
/ newproposition; # unknown format
OBJECT;
/ i:ke;
space;
/ i:here;
/ i:there;
/ i:everywhere;
time;
/ i:now;
/ i:past;
/ i:present;
/ i:future;
view;
/ i:tabula rasa;
/ i:spo;
/ i:mkr;
/ i:rdf;
/ i:owl;
/ i:cyc;
end hierarchy mkrhi;
orphan is unknown; # undiscovered
definition has
format={subject is genus with differentia;};
chartype isany differentia;
#--------------------------------------------#
#======================#
# RDF,RDFS,OWL context #
#======================#
#####at view = tabula rasa;
#####at view = owl;
#####rdfs:Class isu Set;
#####owl:Class isu Set;
#####owl:Class ismem rdfs:Class;
#####existent is owl:Thing;
#####entity is mkr:Entity;
#####characteristic is rdf:Property;
#####statement is rdf:Statement;
#####nonexistent is owl:Nothing;
#####rdfs:Resource is owl:Thing;
#####begin hierarchy owlhi;
#####owl:Thing;
#####/ mkr:Entity;
#####// mkr:Enumeration;
#####// mkr:Intersection;
#####// mkr:Union;
#####/ rdf:Property;
#####// owl:Restriction;
#####/ rdf:Statement;
#####mkr:Entity;
#####/ owl:AllDifferent;
#####/ rdfs:Container;
#####/ owl:DeprecatedClass;
#####/ mkr:Enumeration;
#####/ mkr:Intersection;
#####/ rdf:List;
#####/ owl:Ontology;
#####/ mkr:Union;
#####rdf:Property;
#####/ owl:DataRange;
#####/ rdfs:Datatype;
#####/ owl:DeprecatedProperty;
#####/ rdfs:Literal;
#####/ owl:Restriction;
#####group; # for RDF/OWL
#####/ html;
#####/ mcf;
#####/ owl;
#####/ rdf;
#####/ triple;
#####/ xml;
#####end hierarchy owlhi;
#####begin unithierarchy owlprim;
#####rdf:Property;
#####/ rdf:type;
#####/ rdfs:domain;
#####/ rdfs:range;
#####/ rdfs:subClassOf;
#####/ rdfs:subPropertyOf;
#####end unithierarchy owlprim;
#####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;
#]]>
#