Class
FUNCONST
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp
Slots on this class:
Documentation
:
A symbol that denotes a function. Used as the functor of a term expression.
Subclass-Of
:
Constant