Axiom Union-Axiom

Documentation@Ol%Frame-Ontology:
NIL

Notes:


Defining axiom of Union-Axiom:

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