Sentence UNION-AXIOM

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

Slots on this instance:

Instance-Of: Sentence

Defining-Axiom:

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

Notes:

• Source: KIF Version 3.0 Specification