# KEHOME/kb/ke.html # Apr/17/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_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; 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 / 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, 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, ...] | {proposition} meaning={}, # {... $1 ...} formattype=enum_formattype, # list | proposition meaningtype=enum_meaningtype, # proposition | procedure automatic=enum_automatic, # none | ISA | ISA* | ... separator=","; # default "," #-----------------------------# # do method:1 pplist:2 done; # #-----------------------------# method 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 "," #-------------# # 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