Class Conjunction

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 Conjunction:

(<=> (Conjunction ?X)
     (Exists (?Plist)
             (And (List ?Plist)
                  (>= (Length ?Plist) 1)
                  (=> (Item ?P ?Plist) (Sentence ?P))
                  (= ?X (Cons 'And ?Plist)))))


Frame References to Conjunction:

In class@frame-ontology Logsent:

Exhaustive-Subclass-Partition@Frame-Ontology: {
Conjunction, Disjunction, Equivalence, Implication, Negation, Reverse-Implication}