SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > Function > BinaryFunction > UnionFn |
UnionFn comparison table |
Subject | have domain2 | have domain1 | have range | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
BinaryFunction | The Class of Functions that require two arguments | (=> | TernaryRelation | ||||
UnionFn | Class | Class | Class | 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 | (<=> | BinaryFunction |
Next BinaryFunction: WhereFn Up: BinaryFunction Previous BinaryFunction: SecondFn