Class LOGCONST

• Defined in theory: Kif-meta
• Source code: kif-meta.lisp

Slots on this class:

Documentation: A KIF logical constant.

Instance-Of: Class

Subclass-Of: Sentence

Other Related Axioms:

(Exhaustive-Subclass-Partition Sentence
                               (Setof Logconst
                                      Relsent
                                      Logsent
                                      Quantsent))