set echo = off;
# KEHOME/kb/simple.html
# Mar/15/2003
#===========#
# knowledge #
#===========#
percept := man do perceive od entity done;
concept := man do classify od percept done;
measurement := man do measure od characteristic done;
proposition := man do identify od entity done;
definition := man do define od concept done;
proposition := man do reason od proposition done;
knowledge := man do identify od existent done;
knowledge haspart proposition list;
#=======================#
# simple tabula rasa #
#-----------------------#
# no lists, Sets, etc. #
# no variables #
# no methods #
# no n-ary relations #
# no conditionals #
# no iterations #
# no Knowledge Explorer #
# no questions #
# no commands #
# no assignments #
#=======================#
begin hierarchy simplehi;
existent;
/ entity;
// man;
// OBJECT;
/// percept;
/// concept;
/// measurement;
/// symbol;
/ characteristic;
// part;
// attribute;
/// purpose;
/// space; # where action occurs
/// time; # when action occurs
/// view; # name of proposition list
// action;
/// perceive;
/// classify;
/// measure;
/// identify;
/// define;
/// reason;
// relation;
// interaction;
/// causality;
/ proposition;
// definition;
symbol;
/ separator;
/ word;
separator;
/ =;
/ ;;
/ {;
/ };
word;
/ at;
/ of;
/ with;
/ out;
/ od;
/ from;
/ to;
/ is;
/ isa;
/ haspart;
/ has;
/ do;
/ done;
/ causes;
end hierarchy simplehi;
#=======================#
# simple MKR grammar #
#-----------------------#
# no lists, Sets, etc. #
# no variables #
# no methods #
# no n-ary relations #
# no conditionals #
# no iterations #
# no Knowledge Explorer #
# no questions #
# no commands #
# no assignments #
#=======================#
proposition ::=
at context { sentence };
context ::=
space=s, time=t, view=v
sentence ::=
subject is object; # alias
subject isa object with differentia; # definition
subject isa object; # hierarchy
subject haspart part = partvalue; # part
subject has attribute = value; # attribute
subject do action = event # action
with action characteristics
out action products
od direct objects
from initial characteristics
to final characteristics
done;
subject rel object; # relation
event:1 causes event:2; # interaction
set echo = on;