Class
OBJCONST
A symbol that denotes a KIF object other than a relation.
Subclass-Of
:
Constant
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp