Function UNION

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

Slots on this function:

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)))

Notes:

• Source: KIF Version 3.0 Specification