Function GENERALIZED-INTERSECTION

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

Slots on this function:

Instance-Of: Function

Arity: 2

Domain: Set

Range: Set

Other Related Axioms:

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

(=> (Generalized-Intersection $X $Y) (Set $Y))

(=> (Generalized-Intersection $X $Y) (Set $X))

(=> (= (Generalized-Intersection ?Set-Of-Sets) ?Set)
    (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S))))

Notes:

• Source: KIF Version 3.0 Specification