Class SENTOP

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

Slots on this class:

Documentation:

KIF sentence operator

Subclass-Of: Operator

All-Instances: {

'Not, 'And, 'Or, '=>, '<=, '<=>, 'Forall, 'Exists}