Class LOGSENT

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

Slots on this class:

Documentation:

KIF logical sentence.

Subclass-Of: Sentence

Exhaustive-Subclass-Partition: {

Negation, Conjunction, Disjunction, Implication, Reverse-implication, Equivalence}