SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > AbstractionFn |
AbstractionFn 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 | |||
AbstractionFn | Class | Attribute | A UnaryFunction that maps a Class into the instance of Attribute that specifies the condition(s) for membership in the Class | (<=> | UnaryFunction |
Next UnaryFunction: ArcCosineFn Up: UnaryFunction Previous UnaryFunction: AbsoluteValueFn