# 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