Function UNION

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

Slots on this function:

Instance-Of: Function

Range: Set

Axioms:

(Undefined (Arity Union))

Other Related Axioms:

(<- (Union @Sets)
    (Setofall ?X
              (Exists (?S)
                      (And (Item ?S (Listof @Sets)) (Member ?X ?S)))))

(Instance-Of (Arity Union) Undefined)

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

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

(<=> (Set-Partition ?S @Sets)
     (And (= ?S (Union @Sets)) (Pairwise-Disjoint @Sets)))

(<=> (Set-Cover ?S @Sets) (Subset ?S (Union @Sets)))

Notes:

• Source: KIF Version 3.0 Specification