Class NEGATION

Subclass-Of: Logsent

Axioms:

(<=> (Negation ?X)
     (Exists (?P) (And (Sentence ?P) (= ?X (Listof 'Not ?P)))))

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