set echo = off;
Knowledge Explorer Hierarchy
# KEHOME/kb/ke.html
# Mar/16/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
set echo = on;