# KEHOME/knowledge/theory/KRdesign/variable.html
# 1999/1/20
# new syntax Sep/29/2002
#===========#
# variables #
#===========#
variables are used in
every variable is clist { ... $variable ... }
every variable isa cname { ... $variable ... }
every variable isin relation { ... $variable ... }
every variable isin method { ... $variable ... }
m is method with
format=[class:1,...],
meaning={... $1 ...}
r is relation with
format=[class:1,...],
meaning={... $1 ...}
set . = concept # current concept
To facilitate accessing the attributes and actions of the
current concept, set records the following $ variables:
$class # list of all class (concept isa* class)
$genus # list of all genus (more than one for a lattice)
$unit # list of all units
$alias # list of all aliases
$attribute # list of all attributes
$attr # value of an individual attr
$action # list of all actions
$act # event of an individual act
$1,$2,... # role values of a relation unit
$fact # input text (if applicable)
General References