Class EQUIVALENCE

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Logsent

Equivalence Axioms:

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

Axioms:

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

Other Related Axioms:

(Exhaustive-Subclass-Partition Logsent
                               (Setof Negation
                                      Conjunction
                                      Disjunction
                                      Implication
                                      Reverse-Implication
                                      Equivalence))

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