Class Quantsent

• 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: Sentence, Expression

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

Arity@Frame-Ontology: 1

---

Slots:

Equivalence Axioms for Quantsent:

(<=> (Quantsent ?X)
     (Or (Exists (?V ?P)
                 (And (Indvar ?V)
                      (Sentence ?P)
                      (Or (= ?X (Listof 'Forall ?V ?P))
                          (= ?X (Listof 'Exists ?V ?P)))))
         (Exists (?Vlist ?P)
                 (And (List ?Vlist)
                      (Sentence ?P)
                      (>= (Length ?Vlist) 1)
                      (=> (Item ?V ?Vlist) (Indvar ?V))
                      (Or (= ?X (Listof 'Forall ?Vlist ?P))
                          (= ?X (Listof 'Exists ?Vlist ?P)))))))

Frame References to Quantsent:

In class@frame-ontology Sentence:

Exhaustive-Subclass-Partition@Frame-Ontology: {

Logconst, Logsent, Quantsent, Relsent}