Class SENTENCE

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

Slots on this class:

Documentation:

KIF sentence expression. Has a truth value.

Subclass-Of: Expression

Exhaustive-Subclass-Partition: {

Logconst, Relsent, Logsent, Quantsent}