Class EQUIVALENCE

Subclass-Of: Logsent

Axioms:

(<=> (Equivalence ?X)
     (Exists (?P1 ?P2)
             (And (Sentence ?P1)
                  (Sentence ?P2)
                  (= ?X (Listof '<=> ?P1 ?P2)))))

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