Class REVERSE-IMPLICATION

Subclass-Of: Logsent

Axioms:

(<=> (Reverse-Implication ?X)
     (Exists (?Plist)
             (And (List ?Plist)
                  (>= (Length ?Plist) 2)
                  (=> (Item ?P ?Plist) (Sentence ?P))
                  (= ?X (Cons '<= ?Plist)))))

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