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)

Classe

inheritable relation

FunzioneBinaria

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

InsiemeOClasse UnionFn(InsiemeOClasse, InsiemeOClasse)

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 é un' istanza di "l' unione di class1 e class2" se e solo se entity é un' istanza di class1 o entity é un' istanza di class2.

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