SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > UnionFn |
UnionFn | ||||
subject | fact |
UnionFn | documentation 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 Class | |
has axiom (<=> | ||
has domain1 Class | ||
has domain2 Class | ||
has range Class | ||
is an instance of BinaryFunction | ||
BinaryFunction | is first domain of distributes | |
is first domain of identityElement | ||
is second domain of distributes | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |