Function UNION

Range: Set

Axioms:

(Undefined (Arity Union))

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

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

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