SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SignumFn |
SignumFn 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 | |||
SignumFn | RealNumber | Integer | (SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0 | (=> | UnaryFunction |
Next UnaryFunction: SineFn Up: UnaryFunction Previous UnaryFunction: RoundFn