Class WORD

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this class:

Documentation:

An atom in a KIF expression.

Subclass-Of: Expression

Exhaustive-Subclass-Partition: {Variable, Operator, Constant}

Axioms:

(=> (Word ?Expr) (Not (List ?Expr)))