# <![CDATA[
# KEHOME/kb/spo.mkr.html
# Apr/30/2009 Jul/22/2009
begin hierarchy tabula rasa;
existent;
/ ENTITY;
// entity; # physical ENTITY
// group; # abstract ENTITY
/// concept;
/// enum;
/// list;
/// set;
/// multiset;
/// synset;
/// hierarchy;
/ characteristic; # property
// part;
// attribute;
// relation;
// action;
// interaction;
/ proposition;
// context;
/// space;
/// time;
/// view;
// sentence;
/// statement;
/// question;
/// command;
/// assignment;
/// production;
/// conditional;
/// iteration;
/// quantification;
end hierarchy tabula rasa;
#######
# spo #
#######
#####at view = mkr.epistemology; # context
#####
#####proposition haspart context, sentence; # proposition
#####
#####propname :: proposition; # named proposition
#####
#####subject isu object; # hierarchy: individual unit of
#####subject iss object; # hierarchy: species of
#####subject isa object; # hierarchy: unit or species of
#####begin hierarchy hname; ...; end hierarchy hname;# hierarchy
#####
#####subject is object; # alias
#####subject syn object; # synonym
#####
#####
#####subject is genus with differentia; # definition
#####subject has aname = avalue; # attribute
#####subject haspart pname = pvalue; # part
#####subject rel rname = rvalue; # binary relation
#####begin relation rname; ...; end relation rname; # n-ary relation
#####any entity do aname = ename pplist done; # action = event
#####multiple entity ido ianame = iename pplist done;# interaction = interevent
#####subject ido cause od object done; # causality interaction
#####
#####subject ismem ingroup; # list,set,multiset,synset
#####subject isalt exgroup; # enum
#####subject isin hname; # hierarchy
#####subject isin rname; # relation
#####
#####! sname pplist 2>&1 done; # command: UNIX shell action
#####do kname pplist done; # command: ke action
#####
#####let variable = value; # assignment
#####product := sentence; # production
#####
#####if proplist; then proplist; else proplist; fi; # conditional
#####every variable isu object; { proplist; }; # iteration
#####for all variable isu object; { proplist; }; # quantification
#####for some variable isu object; { proplist; }; # quantification
#####
###### $variable # value of variable or product
###### ?variable # name of question variable
#####
#####
#####knowledge := human do identify od existent with purpose done; # create knowledge
#####knowledge isg proposition list, picture;
# ]]>