SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Function > BinaryFunction > UnionFn
Next BinaryFunctionWhereFn    UpBinaryFunction    Previous BinaryFunctionSecondFn   

UnionFn
subjectfact 
UnionFndocumentation A BinaryFunction that maps two Classes to the union of these Classes. An object is an instance of the union of two Classes just in case it is an instance of either Class2001-11-30 13:35:30.0
has axiom
(<=> 
(instance ?ENTITY (UnionFn ?CLASS1 ?CLASS2))
(or
(instance ?ENTITY ?CLASS1)
(instance ?ENTITY ?CLASS2)))
2001-11-30 13:35:30.0
has domain1 Class2001-11-30 13:35:30.0
has domain2 Class2001-11-30 13:35:30.0
has range Class2001-11-30 13:35:30.0
is an instance of BinaryFunction2001-11-30 13:35:31.0
BinaryFunctionis first domain of distributes2001-11-30 13:33:43.0
is first domain of identityElement2001-11-30 13:33:43.0
is second domain of distributes2001-11-30 13:33:43.0
Classis third domain of domain2001-11-30 13:33:51.0
is third domain of domainSubclass2001-11-30 13:33:51.0
Abstractis disjoint from Physical2001-11-30 13:33:32.0