Class
CONSTANT
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp
Slots on this class:
Documentation
:
A constant used in a KIF expression.
Subclass-Of
:
Term
,
Word
Exhaustive-Subclass-Partition
:
{
Funconst
,
Relconst
,
Objconst
}