absolute value fn (AbsoluteValueFn)

The value of (AbsoluteValueFn number) is the absolute value of the RealNumber number.

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

class

inheritable relation

unary function

absolute value fn

Coordinate term(s)

abstraction fn arc cosine fn arc sine fn arc tangent fn back fn begin fn begin node fn cardinality fn ceiling fn complement fn cosine fn cut set fn denominator fn end fn end node fn extension fn floor fn front fn future fn generalized intersection fn generalized union fn giga fn imaginary part fn immediate future fn immediate past fn initial node fn integer square root fn kilo fn list length fn magnitude fn mega fn micro fn milli fn minimal cut set fn nano fn numerator fn organization fn past fn path weight fn pico fn power set fn predecessor fn principal host fn probability fn property fn rational number fn real number fn reciprocal fn round fn signum fn sine fn skin fn square root fn successor fn tangent fn tera fn terminal node fn wealth fn when fn year fn

Type restrictions

nonnegative real number AbsoluteValueFn(real number)

Related WordNet synsets

absolute value: a numerical value regardless of its sign

See more related synsets on a separate page.

Axioms (1)

"the absolute value of number1" is equal to number2 and number1 is an instance of real number and number2 is an instance of real number if and only if

number1 is an instance of nonnegative real number and number1 is equal to number2
number1 is an instance of negative real number and number2 is equal to "(-number1)"

(<=>
      (and
            (equal
                  (AbsoluteValueFn ?NUMBER1)
                  ?NUMBER2)
            (instance ?NUMBER1 RealNumber)
            (instance ?NUMBER2 RealNumber))
      (or
            (and
                  (instance ?NUMBER1 NonnegativeRealNumber)
                  (equal ?NUMBER1 ?NUMBER2))
            (and
                  (instance ?NUMBER1 NegativeRealNumber)
                  (equal
                        ?NUMBER2
                        (SubtractionFn 0 ?NUMBER1)))))