SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > GeneralizedIntersectionFn |
GeneralizedIntersectionFn 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 | |||
GeneralizedIntersectionFn | Class | Class | A UnaryFunction that takes a Class of Classes as its single argument and returns a Class which is the intersection of all of the Classes in the original Class, i.e. the Class containing just those instances which are instances of all instances of the original Class | (=> | UnaryFunction |
Next UnaryFunction: GeneralizedUnionFn Up: UnaryFunction Previous UnaryFunction: FutureFn