SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > UnaryFunction > AbsoluteValueFn
Next UnaryFunction: AbstractionFn    Up: UnaryFunction    Previous UnaryFunction: YearFn   

AbsoluteValueFn 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 
AbsoluteValueFnRealNumberPositiveRealNumberThe value of (AbsoluteValueFn ?NUMBER) is the absolute value of the RealNumber ?NUMBER
(<=>
      (equal (AbsoluteValueFn ?NUMBER1) ?NUMBER2)
      (or 
          (and 
               (instance ?NUMBER1 PositiveInteger)
               (equal ?NUMBER1 ?NUMBER2))     
          (and 
               (instance ?NUMBER1 NegativeInteger)
               (equal ?NUMBER2 (SubtractionFn 0 ?NUMBER1)))))
 UnaryFunction

Next UnaryFunction: AbstractionFn    Up: UnaryFunction    Previous UnaryFunction: YearFn