Sentence UNION-AXIOM

Instance-Of: Sentence

Defining-Axiom:

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

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