Class
WORD
An atom in a KIF expression.
Subclass-Of
:
Expression
Exhaustive-Subclass-Partition
:
{
Variable
,
Operator
,
Constant
}
Axioms:
(=> (
Word
?Expr) (Not (
List
?Expr)))
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp
Also defined in:
Peak-level