# KEHOME/knowledge/identify/ex_tabr.htm
# 1999/2/1
# new syntax Sep/3/2002
#=====================#
# axiomatic concepts #
# minimum hierarchy #
#=====================#
# The primary axiomatic concepts are
# existent, entity, relation,
# man, identify, knowledge
# which are related by
existent is either entity or relation
man, knowledge isa entity
knowledge := man do identify od existent done
# The secondary axiomatic concepts are
# attribute, action, event
# space, time, view
# which are related by
attribute, action, event isa relation
identify isa action
space, time, view isa attribute
v isa knowledge
e isa event
at space=s,time=t,view=v {
v := man do identify=e existent
}
#==========================================#
# tabula_rasa #
# hierarchy with additional concepts #
# for practical knowledge representation #
#==========================================#
at space=here,time=now,view=tabula_rasa
tabula rasa is begin hierarchy
existent
/ entity
// animal
/// man # is person
//// I
// plant
// object
/// knowledge
//// tabula_rasa
/ relation # is characteristic
// attribute
/// purpose
/// format
/// "class:1; class:2; ...; class:n" # general relation format
/// "at space=s,time=t,view=vname" # context
/// "vname := I do identify existent" # knowledge
/// "concept isa genus; concept ise unit" # hierarchy
/// "concept is alias" # identity
/// "concept is genus with differentia" # definition
/// "entity isin relation=infon" # general relation
/// "entity has attribute=value" # state
/// "entity haspart part=count" # composition
/// "entity do action=event aobject" # change unit
/// "event changes eobject \
from attribute=initial \
to attribute=final" # change unit
/// "event:1 causes event:2" # causality
/// "sentence:1 implies sentence:2" # implication
/// "if sentence:1 then sentence:2 \
else sentence:3 fi" # conditional
/// "every x isa concept { ... $x ... }" # iteration
/// meaning
// value
// part
// action
/// choose
/// identify
//// [tabula_rasa := I do identify existent with purpose]
// event
// phenomenon
#=================================#
# Knowledge Explorer #
# attributes and actions #
# are also added for efficiency #
#=================================#
end hierarchy tabula rasa
General References