Class SENTOP

KIF sentence operator
Subclass-Of: Operator
All-Instances: {
'Not, 'And, 'Or, '=>, '<=, '<=>, 'Forall, 'Exists}