SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > GeneralizedUnionFn |
GeneralizedUnionFn comparison table |
Subject | have domain1 | have range | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|
UnaryFunction | The Class of Functions that require a single argument | (=> | Function | |||
GeneralizedUnionFn | Class | Class | A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the merge of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of an instance of the original Class | (<=> | UnaryFunction |
Next UnaryFunction: IdentityFn Up: UnaryFunction Previous UnaryFunction: GeneralizedIntersectionFn