Class QUANTSENT

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

Slots on this class:

Instance-Of: Class

Subclass-Of: Sentence

Equivalence Axioms:

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

Axioms:

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

Other Related Axioms:

(Exhaustive-Subclass-Partition Sentence
                               (Setof Logconst
                                      Relsent
                                      Logsent
                                      Quantsent))

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