Function Generalized-Union

Instance-Of@Frame-Ontology:
Binary-Relation@Ol-User%Kif-Relations, Function@Ol-User%Kif-Relations, Relation@Ol-User%Kif-Relations, Set
Domain@Frame-Ontology: Set
Range@Frame-Ontology: Set
Arity@Frame-Ontology: 2
Documentation@Ol%Frame-Ontology:
NIL

Notes:


Implication Axioms mentioning Generalized-Union:

(=> (= (Generalized-Union ?Set-Of-Sets) ?Set)
    (Forall (?S) (=> (Member ?S ?Set-Of-Sets) (Simple-Set ?S))))

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