KIF API overview
This section contains a reference for a majority of the KIF C++ API by Gregory Olsen at the Center for Design Research, Stanford University.
kifobj
expression: kifobj
sequence: kifobj
term: expression
form: expression
sentence: form
quanterm: term
setofallterm: quanterm
list: expression
word: expression
constant: term
indvar: constant
number: constant
string: constant
relconst: constant
objconst: constant
listterm: term
setterm: term
quotterm: term
logterm: term
ifterm: term
functerm: term
equation: sentence
inequality: sentence
logsent: sentence
negation: logsent
conjunction: logsent
disjunction: logsent
implication: logsent
equivalence: logsent
quantsent: sentence
universent: quantsent
existensent: quantsent
relsent: sentence
logconst: sentence
kifoperator: word
termop: kifoperator
sentop: kifoperator
defop: kifoperator
ruleop: kifoperator
ukconst: word
consis: word
definition: form
objectdef: definition
functiondef: definition
relationdef: definition
rule: form
seqvar: word
Miscellaneous KIF functions