    # KEHOME/kb/ke.html
    # Mar/27/2003

    #=========================#
    # knowledge explorer (ke) #
    #=========================#
    begin hierarchy kehi;
    group;
    /   enumeration;
    /   requisite;
    /   family;
    /   file system;
    /   file;
    //	directory;
    attribute;
    /    variable;   # ke attribute
    //       pronoun;
    action;
    /    method;	# user command
    /    COMMAND;    # ke command
    //       class;
    word;
    /    VERB;  # verb iss attribute
    /    quantifier;
    /    preposition;
    /    conjunction;
    /    control;
    statement;
    /    s_identity;
    /    s_definition;
    /    s_relation;
    //       s_relstatement;
    /    s_hierarchy;
    //       s_hostatement;
    /    s_attribute;
    /    s_part;
    /    s_action;
    /    s_change;
    /    s_conditional;
    /    s_iteration;
    /    s_begin;
    /    s_end;
    /    s_exit;
    /    s_html;

    attribute;
    /    product;
    /    label;
    /    format;
    /    automatic;
    /    meaning;
    /    argument;
    /    argclass;
    /    argno;
    /    role;	# argclass:argno
    /    rootname;   # e.g.: /usr/local/bin
    /    classname;  # e.g.: bin\local\usr\
    /    shortname;  # e.g.: bin
    /    name;
    /    nickname;
    /    alias;
    /    internal name;
    /    cache name;
    /    sex;
    variable;	# ke attribute
    /     Assignment; # output of last assignment
    /     Command;	# output of last command
    /     If;	# output of last conditional
    /     Question;	# output of last question
    /     Sentence;	# output of last sentence
    /     .;	# current concept
    /     ..;	# current genus
    /     ...;	# current species|unit
    end hierarchy kehi;

    begin unithierarchy keprim;
    separator;
    /    comment mark;	# #
    /    squote mark;	# '
    /    dquote mark;	# "
    /    blank;		# white space
    /    tab;		# white space
    /    vertical tab;	# white space
    /    return;		# white space
    /    newline;		# white space
    /    newpage;		# white space
    #/    !;		# sh command
    #/    =;		# assignment
    #/    +=;		# assignment
    #/    -=;		# assignment
    #/    *=;		# assignment
    #/    :=;		# production
    #/    ::=;		# BNF grammar production
    #/    /;		# hierarchy,filename
    #/    \	;		# hierarchy,filename
    #/    ,;		# phrase list
    #/    ;;		# proposition list
    #/    &;			# and
    #/    |;			# or
    #/    ~;			# not     ==> quantifier
    #/    {;			# proposition list
    #/    };			# proposition list
    #/    [;			# 	phrase list
    #/    ];			# phrase list
    #/    (;			#
    #/    );			#
    #/    <;		# HTML
    #/    >;		# HTML
    VERB;
    #/    is;		# identity/alias,definition
    #/    has;		# attribute
    #/    haspart;	# part
    #/    isapart;	# part
    #/    isin;	# existent isin relation
    #/    do;	# action, command
    #/    do*;	# action declaration -- "power"
    #/    vdo;	# action in all views
    #/    change;	# event do change od event object from initial to final done;

    #/    set;	# assignment
    #/    vset;	# assignment in all views
    #/    unset;	# assignment

    #/    in;	# iteration list
    #/    isa;	# species|unit,... isa concept
    #/    isc;	# concept isc species|unit,...
    #/    isd;	# differentiate
    #/    isi;	# integrate

    #/    isg;	# genus isg species,...
    #/    iss;	# species,... iss genus
    #/    isp;	# primitive isp unit,...
    #/    isu;	# unit,... isu primitive
    #/    isall;	# ingroup isall member,...
    #/    ismem;	# member,... ismem ingroup
    #/    isany;	# exgroup isany alternative,...
    #/    isalt;	# alternative,... isalt exgroup

    quantifier;
    /    a;		# indeterminate unit of group
    /    all;	# members of ingroup
    /    any;	# alternative of exgroup
    /    either;	# alternative of exgroup
    /    no;	# no unit of group
    /    non;	# complement wrt/genus
    /    not;	# complement wrt/existent
    /    some;	# members of ingroup
    /    the;	# unique unit of group
    preposition;
    #/    at;	# context: space,time,view
    #/    out;	# product
    #/    of;	# definition: part
    #/    with;	# definition: differentia
    #/    od;	# direct object
    #/    from;	# change: initial
    #/    to;	# change: final
    conjunction;
    #/    causes;	# entiy:1 do action:1 done cause entity:2 do action:2 done;
    #/    means;	# symbol means referent
    /    and;	# logic
    /    or;		# logic
    #/    iff;	# logic
    #/    implies;	# logic
    #/    supports;	# context supports sentence (situation theory)
    control;
    #/    done;	# action
    #/    begin;	# group definition
    #/    end;	# group definition
    #/    exit;
    #/    if;		# conditional
    #/    then;	# conditional
    #/    else;	# conditional
    #/    fi;		# conditional
    #/    every;	# iteration
    #/    when;	# iteration
    #/    while;	# iteration

    Set;
    /    views;	# all views
    /    concepts;	# all concept names
    /    units;	# all individuals
    /    infons;	# all relation units
    /    values;	# all attribute values
    /    events;	# all action events
    end unithierarchy keprim;

    knit has view,
    	 cconcept,
    	 cgenus,cspecies,
    	 cprimitive,cunit;
    chit has space,time,view;

    #------#
    # file #
    #------#
    file has
    	fname=name,
    	ftype=enum,		# - b c d l p
    	fsize=integer,		# bytes
    	fstatus=string,		# -rwxrwxrwx
    	file system=name,	# fsname
    	fpath=name,		# path from fsroot

    	cknit=knit,		# current knit
    	cconcept=concept,	# current concept
    	kformat=enum,		# input: ku|ho|rel|dir
    	hformat=enum,		# output: ku|ho|rel|dir|alpha
    	hoseparator=enum,	# hierarchy
    	relseparator=enum,	# relation
    	nvseparator=enum,	# assignment
    	removehtml=enum,
    	savehref=enum,
    	kerror=integer;

    #----------#
    # relation #
    #----------#
    relation has
    	label=[],		# [string:1, ...]
    	format=[],		# [class:1, ...]
    	meaning={},		# {... $1 ...}
    	formattype=enum,	# list or proposition
    	meaningtype=enum,	# proposition or procedure
    	automatic=enum,		# class:1 isa class or class:1 isa* class
    	separator=enum;		# default ";"

    #----------------------------#
    # do method:1 pplist:2 done  #
    #----------------------------#
    method has
    	label=[],		# [string:1, ...]
    	format=[],		# [class:1, ...]
    	meaning={},		# {... $1 ...}
    	formattype=enum,	# list or proposition
    	meaningtype=enum,	# proposition or procedure
    	automatic=enum,		# class:1 isa class or class:1 isa* class or ...
    	separator=enum;		# default ","

    #-------------#
    # interaction #
    #-------------#
    phenomenon has
    	p_event,	# Set of events
    	p_cause;	# Set of cause-effect relations

    #==============#
    # ke variables #
    #==============#
    set debug   = NO;		# extra output
    set hfocus += nonexistent;	# output concepts: contradictions
    set hfocus += unknown;		# output concepts: unknown concepts
    set hfocus += newproposition;	# output concepts: unknown propositions
    set hminfactid  = $klastid;	# output concepts: skip old facts
    set hformat	= hounit;	# output format: hierarchy group
    set htab	= 2;		# output format: indent unit
    set hpad	= 10;		# output format: name padding
    set charformat	= column;	# output format: characteristic

    set hmaxlevel	= 20;		# hierarchy maximum level up/down
    set hcheck	= YES;		# check hierarchy & definitions
    set hop		= YES;		# hierarchy verb processing
    set hchar	= YES;		# characteristic processing
    set hmethod	= YES;		# method processing
    set hrelation	= YES;		# relation processing
    set hreduce	= NO;		# reduce processing