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;