Class QUANTSENT

Subclass-Of: Sentence

Axioms:

(<=> (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)))))))

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