Function GENERALIZED-UNION

• 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-Union ?Set-Of-Sets)
    (Setofall ?X
              (Exists (?S)
                      (And (Member ?S ?Set-Of-Sets) (Member ?X ?S)))))

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

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

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

(=> (And (Bounded ?U) (Forall (?X) (=> (Member ?X ?U) (Bounded ?X))))
    (Bounded (Generalized-Union ?U)))

Notes:

• Source: KIF Version 3.0 Specification