set echo = off;

    # KEHOME/kb/simple.html
    # Apr/9/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 rel object;			# binary relation
    	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 isin relation = infon;		# n-ary relation
    	event:1 causes event:2;			# interaction

set echo = on;