Function GENERALIZED-INTERSECTION

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

Slots on this function:

Arity: 2

Domain: Set

Range: Set

Axioms:

(=> (Generalized-Intersection ?Set-Of-Sets ?Set)
    (And (= ?Set
            (Setofall ?X
                      (Exists (?S)
                              (=> (Member ?S ?Set-Of-Sets)
                                  (Member ?X ?S)))))
         (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S)))))

Notes:

• Source: KIF Version 3.0 Specification