#
# McCullough Knowledge Explorer Hierarchy
#<![CDATA[
# KEHOME/kb/ke.html
# Oct/29/2005 Jul/22/2009
let 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;
/ i:good; # evaluator
/ i:bad; # evaluator
/ i:big; # descriptor
/ i:small; # descriptor
/ i:long; # time duration
/ i:short; # time duration
/ i:near; # space distance
/ i: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;
#####/ i:comment mark; # #
#####/ i:squote mark; # '
#####/ i:dquote mark; # "
#####/ i:blank; # white space
#####/ i:tab; # white space
#####/ i:vertical tab; # white space
#####/ i:linereturn; # white space
#####/ i:newline; # white space
#####/ i:newpage; # white space
#####/ i::; # view name, role name
#####/ i:::; # proposition name
#####/ i:!; # sh command
######/ i:=; # assignment
######/ i:+=; # assignment
######/ i:-=; # assignment
######/ i:*=; # assignment
######/ i::=; # production
######/ i:+:=; # production
######/ i:-:=; # production
######/ i:*:=; # production
######/ i:::=; # BNF grammar production
######/ i:/; # hierarchy,filename
######/ i:\; # hierarchy,filename
######/ i:,; # phrase list
######/ i:;; # proposition list
#####/ i:&; # and
######/ i:|; # pipeline
#####/ i:~; # not ==> quantifier
######/ i:{; # proposition list
######/ i:}; # proposition list
######/ i:[; # phrase list
######/ i:]; # phrase list
######/ i:(; # precedence (not used)
######/ i:); # precedence (not used)
######/ i:<; # HTML, rdfcomment
######/ i:>; # HTML, rdfcomment
#####verb;
#####/ i:is; # identity/alias,definition
#####/ i:has; # attribute
#####/ i:haspart; # part
#####/ i:isapart; # part
#####/ i:rel; # binary relation
#####/ i:do; # action, command, method
#####/ i:can; # action declaration -- "power"
#####/ i:vdo; # action in all views
#####/ i:hdo; # hierarchy action
#####/ i:change; # event ido cause {event object do change
##### # from initial to final done;} done;
#####
#####/ i:let; # assignment
#####/ i:vlet; # assignment in all views
#####/ i:unlet; # assignment
#####/ i:return; # assignment
#####
#####/ i:isa; # species|unit,... isa concept
#####/ i:isc; # concept isc species|unit,...
#####/ i:isc*; # concept isc* ?
#####/ i:isc**2; # concept isc**2 ?
#####/ i:isc**3; # concept isc**3 ?
#####/ i:isd; # differentiate
#####/ i:isi; # integrate
#####
#####/ i:isg; # genus concept isg species,...
#####/ i:iss; # species,... iss genus concept
#####/ i:isp; # primitive concept isp unit,...
#####/ i:isu; # unit,... isu primitive concept
#####/ i:isall; # ingroup isall member,...
#####/ i:ismem; # member,... ismem ingroup
#####/ i:isany; # exgroup isany alternative,...
#####/ i:isalt; # alternative,... isalt exgroup
#####/ i:isin; # argument isin relation
#####
#####/ i:isand; # intersection
#####/ i:isor; # union
#####/ i:isxor; # disjoint union
#####/ i:isnon; # complement wrt genus
#####/ i:isnot; # complement wrt existent
#####/ i:iff; # {proplist} iff {proplist};
#####/ i:implies; # {proplist} implies {proplist};
#####
#####/ i:xor; # disjoint
#####
#####/ i:means; # symbol means referent
#####/ i:isref; # referent isref symbol
###### NSM concepts
#####verb;
##########/ i:happensod;# NSM event <<== ido happen od ... done;
#####/ i:before; # NSM time
#####/ i:after; # NSM time
#####/ i:above; # NSM space
#####/ i:below; # NSM space
#####/ i:inside; # NSM space
#####/ i:outside; # NSM space
#####/ i:like; # NSM similarity
#####
#####quantifier;
#####/ i:a; # indeterminate unit of group
#####/ i:all; # members of ingroup
#####/ i:any; # alternative of exgroup
#####/ i:either; # alternative of exgroup
#####/ i:mulitple;# 2 or more members of ingroup
#####/ i:no; # no unit of group
#####/ i:non; # complement wrt/genus
#####/ i:not; # complement wrt/existent
#####/ i:some; # 1 or more members of ingroup
#####/ i:the; # unique unit of group
###### NSM concepts
#####/ i:very; # intensifier
#####/ i:more; # augmentor
#####preposition;
#####/ i:at; # context: space,time,view
#####/ i:of; # definition: part/unit
#####/ i:with; # definition: differentia
#####/ i:out; # product
#####/ i:od; # direct object
#####/ i:from; # change: initial
#####/ i:to; # change: final
#####conjunction;
######/ i:causes; # interaction # NSM cause-effect
#####/ i:because; # interaction # NSM cause-effect
#####/ i:and; # logic
#####/ i:or; # logic
#####/ i:iff; # logic
#####/ i:implies; # logic
#####/ i:supports;# context supports sentence (situation theory)
#####control;
#####/ i:done; # action
#####/ i:begin; # group definition
######/ i:end; # group definition
######/ i:exit; # exit ke
#####/ i:break; # exit every,while,until,when
#####/ i:if; # conditional
#####/ i:then; # conditional
#####/ i:else; # conditional
#####/ i:fi; # conditional
#####/ i:every; # iteration
#####/ i:when; # iteration
#####/ i:while; # iteration
#####/ i:until; # iteration
#####/ i:for; # quantification
#####/ i:return; # product of method
#####/ i:suspend; # product of method
#####
#####set;
#####/ i:spaces; # all spaces
#####/ i:times; # all times
#####/ i:views; # all views
#####/ i:events; # all action/command/method events
#####/ i:concepts;# all concepts (names)
#####/ i:units; # all individuals
#####/ i:parts; # all parts
#####/ i:values; # all attribute values
#####/ i:infons; # all relation units
#####/ i: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 hfocus += nonexistent; # output concepts: contradictions
let hfocus += unknown; # output concepts: unknown concepts
let hfocus += newproposition; # output concepts: unknown propositions
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;
#]]>
#