Class
LOGCONST
A KIF logical constant.
Subclass-Of
:
Sentence
Defined in theory:
Kif-meta
Source code:
kif-meta.lisp