# KEHOME/kb/rdfke.html
# Apr/11/2003
#=============================#
# RDF knowledge explorer (ke) #
#=============================#
begin hierarchy kehi;
group;
/ enumeration;
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_part;
/ s_attribute;
/ s_action;
/ s_interaction;
// s_causality;
/ s_change;
/ s_conditional;
/ s_iteration;
/ s_begin;
/ s_end;
/ s_exit;
/ s_html;
/ s_group;
/ s_nt;
/ s_mcf;
/ s_rdf;
variable; # ke attribute
/ Assignment; # output of last assignment
/ Command; # output of last command
/ Every; # output of last every sentence
/ If; # output of last conditional
/ Question; # output of last question
#/ Statement; # output of last statement
/ 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
/ (; # precedence (not used)
/ ); # precedence (not used)
#/ <; # HTML
#/ >; # HTML
VERB;
/ is; # identity/alias,definition
/ has; # attribute
/ haspart; # part
/ isapart; # part
/ isin; # existent isin relation
/ do; # action, command, method
/ 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;
#####chit has space,time,view;
######----------#
###### relation #
######----------#
#####relation has
##### label=[], # [string:1, ...]
##### format=[], # [class:1, ...] | {proposition}
##### meaning={}, # {... $1 ...}
##### formattype=enum_formattype, # list | proposition
##### meaningtype=enum_meaningtype, # proposition | procedure
##### automatic=enum_automatic, # none | ISA | ISA* | ...
##### separator=","; # default ","
#==============#
# 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