####

    # KEHOME/knowledge/identify/ex_tabr.htm
    # 1999/2/1
    # new syntax Sep/3/2002

    #=====================#
    # axiomatic concepts  #
    #   minimum hierarchy #
    #=====================#
    # The primary axiomatic concepts are
    #	existent, entity, relation,
    #	man, identify, knowledge
    # which are related by
    	existent is either entity or relation
    	man, knowledge isa entity
    	knowledge := man do identify od existent done

    # The secondary axiomatic concepts are
    #	attribute, action, event
    #	space, time, view
    # which are related by
    	attribute, action, event isa relation
    	identify isa action
    	space, time, view isa attribute
    	v isa knowledge
    	e isa event
    	at space=s,time=t,view=v {
    		v := man do identify=e existent
    	}

    #==========================================#
    # tabula_rasa                              #
    #   hierarchy with additional concepts     #
    #   for practical knowledge representation #
    #==========================================#

    at space=here,time=now,view=tabula_rasa

    tabula rasa is begin hierarchy
    existent
    /    entity
    //	animal
    ///	    man  # is person
    ////		I
    //	plant
    //	object
    ///	    knowledge
    ////		tabula_rasa
    /    relation  # is characteristic
    //	attribute
    ///	    purpose
    ///	    format
    ///		"class:1; class:2; ...; class:n"	# general relation format
    ///		"at space=s,time=t,view=vname"		# context
    ///		"vname := I do identify existent"	# knowledge
    ///		"concept isa genus; concept ise unit"	# hierarchy
    ///		"concept is alias"			# identity
    ///		"concept is genus with differentia"	# definition
    ///		"entity isin relation=infon"		# general relation
    ///		"entity has attribute=value"		# state
    ///		"entity haspart part=count"		# composition
    ///		"entity do action=event aobject"	# change unit
    ///		"event changes eobject \
    			from attribute=initial \
    			to attribute=final"		# change unit
    ///		"event:1 causes event:2"		# causality
    ///		"sentence:1 implies sentence:2"		# implication
    ///		"if sentence:1 then sentence:2 \
    		 else sentence:3 fi"			# conditional
    ///		"every x isa concept { ... $x ... }"	# iteration
    ///	    meaning
    //	    value
    //	    part
    //	action
    ///	    choose
    ///	    identify
    ////		[tabula_rasa := I do identify existent with purpose]
    //	event
    //	phenomenon

    #=================================#
    # Knowledge Explorer              #
    #   attributes and actions        #
    #   are also added for efficiency #
    #=================================#
    end hierarchy tabula rasa

General References