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