SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > SignumFn
Next UnaryFunction: SineFn    Up: UnaryFunction    Previous UnaryFunction: RoundFn   

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
(=>
    (instance ?FUNCTION UnaryFunction)
    (valence ?FUNCTION 1))
Function 
SignumFnRealNumberInteger(SignumFn ?NUMBER) denotes the sign of ?NUMBER. This is one of the following values: -1, 1, or 0
(=>
    (instance ?NUMBER PositiveRealNumber)
    (equal (SignumFn ?NUMBER) 1))
 UnaryFunction

Next UnaryFunction: SineFn    Up: UnaryFunction    Previous UnaryFunction: RoundFn