Class Reverse-Implication

• Defined in ontology: Kif-meta
• Source pathname: /tmp_mnt/vol/q/htw/cms/ontolingua/examples/kif/../../all-ontologies/kif/kif-meta.lisp

Subclass-Of@Frame-Ontology: Logsent, Expression, Sentence

Instance-Of@Frame-Ontology: Class@Frame-Ontology, Relation@Ol-User%Kif-Relations, Set

Arity@Frame-Ontology: 1

---

Slots:

Equivalence Axioms for Reverse-Implication:

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

Frame References to Reverse-Implication:

In class@frame-ontology Logsent:

Exhaustive-Subclass-Partition@Frame-Ontology: {

Conjunction, Disjunction, Equivalence, Implication, Negation, Reverse-Implication}