#
# KEHOME/kb/spo.mkr.html
# Apr/30/2009 Jun/21/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 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;
#