union fn (UnionFn)

A BinaryFunction that maps two SetOrClasses to the union of these SetOrClasses. An object is an element of the union of two SetOrClasses just in case it is an instance of either SetOrClass.

Ontology

SUMO / SET/CLASS-THEORY

Class(es)

class

inheritable relation

binary function

union fn

Coordinate term(s)

addition fn day fn density fn division fn edition fn exponentiation fn graph path fn hour fn intersection fn interval fn kappa fn list concatenate fn list order fn log fn max fn maximal weighted path fn measure fn mereological difference fn mereological product fn mereological sum fn min fn minimal weighted path fn minute fn month fn multiplication fn periodical issue fn recurrent time interval fn relative complement fn relative time fn remainder fn second fn series volume fn speed fn subtraction fn temporal composition fn time interval fn where fn

Type restrictions

set or class UnionFn(set or class, set or class)

Related WordNet synsets

union, sum, join: a set containing all and only the members of two or more given sets; "let C be the union of the sets A and B"

See more related synsets on a separate page.

Axioms (1)

entity is an instance of "the union of class1 and class2" if and only if entity is an instance of class1 or entity is an instance of class2.

(<=>
      (instance
            ?ENTITY
            (UnionFn ?CLASS1 ?CLASS2))
      (or
            (instance ?ENTITY ?CLASS1)
            (instance ?ENTITY ?CLASS2)))