Function INTERSECTION

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

Slots on this function:

Instance-Of: Function

Range: Set

Axioms:

(Undefined (Arity Intersection))

Other Related Axioms:

(<- (Intersection @Sets)
    (Setofall ?X
              (Exists (?S)
                      (=> (Item ?S (Listof @Sets)) (Member ?X ?S)))))

(Instance-Of (Arity Intersection) Undefined)

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

(=> (= (Intersection @Sets) ?Set)
    (=> (Item ?S (Listof @Sets)) (Set ?S)))

(<=> (Disjoint ?S1 ?S2) (Empty (Intersection ?S1 ?S2)))

(Instance-Of (Intersection @Sets) Empty)

(Empty (Intersection @Sets))

(<=> (Mutually-Disjoint @Sets) (Empty (Intersection @Sets)))

(=> (And (Bounded ?U) (Set ?S)) (Bounded (Intersection ?U ?S)))

Notes:

• Source: KIF Version 3.0 Specification