SUMO View all facts Glossary Help |
| Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > NumeratorFn |
| NumeratorFn comparison table | |||||
| Subject | have domain1 | have range | documentation | is a kind of | is an instance of |
|---|---|---|---|---|---|
| UnaryFunction | The Class of Functions that require a single argument | Function | |||
| NumeratorFn | RealNumber | Integer | (NumeratorFn ?NUMBER) returns the numerator of the canonical reduced form ?NUMBER | UnaryFunction |
Next UnaryFunction: OneToOneFunction Up: UnaryFunction Previous UnaryFunction: MagnitudeFn