Class LOGSENT

KIF logical sentence.
Subclass-Of: Sentence
Exhaustive-Subclass-Partition: {
Negation, Conjunction, Disjunction, Implication, Reverse-implication, Equivalence}