set echo = off;

    # KEHOME/kb/tabrasa.html
    # Mar/15/2003

    #===========#
    # knowledge #
    #===========#

    begin hierarchy knowledgehi;
    OBJECT;
    /    knowledge;
    //      knit;
    /    measurement;
    /    symbol;  # concrete
    //      separator;
    //      word;

    sentence;
    /    statement;
    //      definition;
    /    question;
    /    command;
    /    assignment;
    end hierarchy knowledgehi;

    # aliases
    #========#
    man          is person;
    phenomenon   is interaction;
    relationship is relation;

    # instances of characteristics
    #-----------------------------#
    ##### infon isu relation;
    ##### value isu attribute;
    ##### event isu action;

    # units of groups
    #----------------#
    ##### unit        isu   primitive;
    ##### species     iss   genus;
    ##### alternative isalt exgroup;
    ##### member      ismem ingroup;

    # causality
    #==========#
    causality relation is proposition with
    			format={event:1 causes event:2;};
    interaction haspart
    	event Set,
    	causality relation Set;

    # knowledge
    #==========#
    knowledge   := man do identify od existent done;
    measurement := man do measure  od characteristic done;
    knit iss knowledge with view;
    knit haspart
    	entity-characteristic-proposition hierarchy,  # proposition list
    	chit;
    chit haspart
    	event Set;

    proposition has
    	context,
    	sentence;
    sentence means relation;
    word     means concept;
    concept  means existent;

    # axiomatic concepts
    #===================#
    ##### existence, identity, identification iss collective concept;
    ##### existence      is  all entity;
    ##### identity       is  all characteristic;
    ##### identification is  all proposition;
    ##### man do perceive od existent done; # man has consciousness

set echo = on;