Class SENTENCE

KIF sentence expression. Has a truth value.
Subclass-Of: Expression
Exhaustive-Subclass-Partition: {
Logconst, Relsent, Logsent, Quantsent}