# # McCullough Knowledge Explorer Hierarchy # # KEHOME/kb/ke.html # Richard H. McCullough Oct/29/2005 Jul/22/2009 Jul/14/2014 Mar/8/2015 SaveECHO := $echo; echo := off; #####at view = mkr; #####at view = mke; #=========================# # knowledge explorer (ke) # #=========================# begin hierarchy kehi; group; / exgroup; // enum; # isany // union; # isor // mxunion; # isxor / ingroup; // requisite; # isand // intersection; # isand / family; / file system; attribute; / variable; / pronoun; / symmetric; / domain; / range; action; / method; # user command / COMMAND; # ke command // class; # lub of concepts or units word; / verb; # verb iss attribute // relation verb; # user-defined / quantifier; / preposition; / conjunction; / control; definition; / s_alias; # is / s_synonym; # syn #####statement; #####/ s_meaning; # means #####/ s_relation; #####/ s_hierarchy; # isu iss isa #####/ s_part; # haspart #####/ s_attribute; # has #####/ s_action; # do #####/ s_interaction; # cause #####// s_integration; #####// s_differentiation; #####/ s_change; #####/ s_group; # ismem,isalt, isall,isany #####/ s_conditional; # if then else fi #####/ s_iff; # {proplist} iff {proplist}; #####/ s_implies; # {proplist} implies {proplist}; #####/ s_iteration; # every while until when #####/ s_quantification; # for quantifier ... #####/ s_exit; #####/ s_break; #####/ s_return; #####/ s_html; #####/ s_begin_group; # group #####/ s_end_group; # group #####/ s_relstatement; # group #####/ s_hostatement; # group #####/ s_set; #####/ s_list; #####/ s_array; #####/ s_nt; #####/ s_mcf; #####/ s_rdf; #####/ s_owl; #####/ s_nsm; ##### #####/ s_inverse; # x inverse y;:1 ##### #####/ s_ingroup; # isall (set,list,hierarchy,...) #####/ s_exgroup; # isany (enumeration) #####/ s_intersection; # isand (set) #####/ s_union; # isor (set) #####/ s_mxunion; # isxor (set) #####/ s_complement; # isnot (set) isnon 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; / kbmode; / kblanguage; / kbdata; / kbfile; / kformat; / hformat; / 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 / Product; # value of last product / pronoun; // .; # current concept // ..; # current genus // ...; # current species|unit # NSM concepts attribute; / u:good; # evaluator / u:bad; # evaluator / u:big; # descriptor / u:small; # descriptor / u:long; # time duration / u:short; # time duration / u:near; # space distance / u:far; # space distance action; / move; # movement / want; # mental predicate / feel; # mental predicate / think; # mental predicate / know; # mental predicate / see; # mental predicate / hear; # mental predicate / believe; / touch; / taste; / smell; interaction; / happen; # NSM event end hierarchy kehi; #####begin hierarchy keprim; #####separator; #####/ u:comment mark; # # #####/ u:squote mark; # ' #####/ u:dquote mark; # " #####/ u:blank; # white space #####/ u:tab; # white space #####/ u:vertical tab; # white space #####/ u:linereturn; # white space #####/ u:newline; # white space #####/ u:newpage; # white space #####/ u::; # view name, role name #####/ u:::; # proposition name #####/ u:!; # sh command ######/ u:=; # assignment ######/ u:+=; # assignment ######/ u:-=; # assignment ######/ u:*=; # assignment ######/ u::=; # production ######/ u:+:=; # production ######/ u:-:=; # production ######/ u:*:=; # production ######/ u:::=; # BNF grammar production ######/ u:/; # hierarchy,filename ######/ u:\; # hierarchy,filename ######/ u:,; # phrase list ######/ u:;; # proposition list #####/ u:&; # and ######/ u:|; # pipeline #####/ u:~; # not ==> quantifier ######/ u:{; # proposition list ######/ u:}; # proposition list ######/ u:[; # phrase list ######/ u:]; # phrase list ######/ u:(; # precedence (not used) ######/ u:); # precedence (not used) ######/ u:<; # HTML, rdfcomment ######/ u:>; # HTML, rdfcomment #####verb; #####/ u:is; # identity/alias,definition #####/ u:has; # attribute #####/ u:haspart; # part #####/ u:isapart; # part #####/ u:rel; # binary relation #####/ u:do; # action, command, method #####/ u:can; # action declaration -- "power" #####/ u:vdo; # action in all views #####/ u:hdo; # hierarchy action #####/ u:change; # event ido cause {event object do change ##### # from initial to final done;} done; ##### #####/ u:let; # assignment #####/ u:vlet; # assignment in all views #####/ u:unlet; # assignment #####/ u:return; # assignment ##### #####/ u:isa; # species|unit,... isa concept #####/ u:isc; # concept isc species|unit,... #####/ u:isc*; # concept isc* ? #####/ u:isc**2; # concept isc**2 ? #####/ u:isc**3; # concept isc**3 ? #####/ u:isd; # differentiate #####/ u:isi; # integrate ##### #####/ u:isg; # genus concept isg species,... #####/ u:iss; # species,... iss genus concept #####/ u:isp; # primitive concept isp unit,... #####/ u:isu; # unit,... isu primitive concept #####/ u:isall; # ingroup isall member,... #####/ u:ismem; # member,... ismem ingroup #####/ u:isany; # exgroup isany alternative,... #####/ u:isalt; # alternative,... isalt exgroup #####/ u:isin; # argument isin relation ##### #####/ u:isand; # intersection #####/ u:isor; # union #####/ u:isxor; # disjoint union #####/ u:isnon; # complement wrt genus #####/ u:isnot; # complement wrt existent #####/ u:iff; # {proplist} iff {proplist}; #####/ u:implies; # {proplist} implies {proplist}; ##### #####/ u:xor; # disjoint ##### #####/ u:means; # symbol means referent #####/ u:isref; # referent isref symbol ###### NSM concepts #####verb; ##########/ u:happensod;# NSM event <<== ido happen od ... done; #####/ u:before; # NSM time #####/ u:after; # NSM time #####/ u:above; # NSM space #####/ u:below; # NSM space #####/ u:inside; # NSM space #####/ u:outside; # NSM space #####/ u:like; # NSM similarity ##### #####quantifier; #####/ u:a; # indeterminate unit of group #####/ u:all; # members of ingroup #####/ u:any; # alternative of exgroup #####/ u:either; # alternative of exgroup #####/ u:mulitple;# 2 or more members of ingroup #####/ u:no; # no unit of group #####/ u:non; # complement wrt/genus #####/ u:not; # complement wrt/existent #####/ u:some; # 1 or more members of ingroup #####/ u:the; # unique unit of group ###### NSM concepts #####/ u:very; # intensifier #####/ u:more; # augmentor #####preposition; #####/ u:at; # context: space,time,view #####/ u:of; # definition: part/unit #####/ u:with; # definition: differentia #####/ u:out; # product #####/ u:od; # direct object #####/ u:from; # change: initial #####/ u:to; # change: final #####conjunction; ######/ u:causes; # interaction # NSM cause-effect #####/ u:because; # interaction # NSM cause-effect #####/ u:and; # logic #####/ u:or; # logic #####/ u:iff; # logic #####/ u:implies; # logic #####/ u:supports;# context supports sentence (situation theory) #####control; #####/ u:done; # action #####/ u:begin; # group definition ######/ u:end; # group definition ######/ u:exit; # exit ke #####/ u:break; # exit every,while,until,when #####/ u:if; # conditional #####/ u:then; # conditional #####/ u:else; # conditional #####/ u:fi; # conditional #####/ u:every; # iteration #####/ u:when; # iteration #####/ u:while; # iteration #####/ u:until; # iteration #####/ u:for; # quantification #####/ u:return; # product of method #####/ u:suspend; # product of method ##### #####set; #####/ u:spaces; # all spaces #####/ u:times; # all times #####/ u:views; # all views #####/ u:events; # all action/command/method events #####/ u:concepts;# all concepts (names) #####/ u:units; # all individuals #####/ u:parts; # all parts #####/ u:values; # all attribute values #####/ u:infons; # all relation units #####/ u:products;# all products #####end hierarchy keprim; knit has view, current concept, current genus, current species, current primitive concept,current unit; chit has space,time,view; #================# # mental actions # #================# ktype iss attribute; #-------------------------------# # kaction is action with ktype; # #-------------------------------# believe is action with ktype = believe; desire is action with ktype = want; intend is action with ktype = intend; know is action with ktype = know; say is action with ktype = say; ask is action with ktype = say; want is action with ktype = want; think is action with ktype = think; feel is action with ktype = feel; #-------------------------------# # paction is action with ptype; # #-------------------------------# part isg eye,ear,finger,tongue,nose; see is action with ptype = eye; hear is action with ptype = ear; touch is action with ptype = finger; taste is action with ptype = tongue; smell is action with ptype = nose; #======================# # other basic concepts # #======================# #------# # file # #------# file has fname = name, flineno = integer, # current lineno ftype = enumeration, # - b c d l p fsize = integer, # bytes fstatus = string, # -rwxrwxrwx file system = name, # fsname fpath = name, # path from fsroot current knit = name, # current knit current concept = name, # current concept kformat = enumeration, # input: ku|ho|rel|dir hformat = enumeration, # output: ku|ho|rel|dir|alpha hoseparator = enumeration, # hierarchy relseparator = enumeration, # relation nvseparator = enumeration, # assignment removehtml = enumeration, savehref = enumeration, kerror = integer; #----------# # relation # #----------# relation has label = [], # [string:1, ...] format = [], # [class:1, ...] | {proposition} local = [], # local variables 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 usage = {}, label = [], # [string:1, ...] format = [], # [class:1, ...] | {proposition} local = [], # local variables meaning = {}, # {... $1 ...} formattype = enum_formattype, # list | proposition meaningtype = enum_meaningtype, # proposition | procedure automatic = enum_automatic, # none | ISA | ISA* | ... separator = ","; # default "," #-------------# # interaction # #-------------# phenomenon is interaction; phenomenon has p_event, # set of events p_cause; # set of cause-effect relations #==============# # ke variables # #==============# let debug = NO; # extra output let hminfactid = $klastid; # output concepts: skip old facts let hformat = hounit; # output format: hierarchy group let htab = 2; # output format: indent unit let hpad = 10; # output format: name padding let charformat = column; # output format: characteristic let hmaxlevel = 20; # hierarchy maximum level up/down let hcheck = YES; # check hierarchy & definitions let hop = YES; # hierarchy verb processing let hchar = YES; # characteristic processing let hmethod = YES; # method processing let hrelation = YES; # relation processing let hreduce = NO; # reduce processing #=================================# # fix "unknowns" & other problems # #=================================# set_inverse iss method; #####c:/home/ke/xml/namespaces.txt isu file; Thing has hidden = no; echo := $SaveECHO; #