Class LOGSENT

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

Slots on this class:

Documentation: KIF logical sentence.

Instance-Of: Class

Subclass-Of: Sentence

Exhaustive-Subclass-Partition: {

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

Superclass-Of:

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

Other Related Axioms:

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