AbsolutbetragFn (AbsoluteValueFn)

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

Ontology

SUMO / NUMERIC-FUNCTIONS

Class(es)

Kategorie

inheritable relation

einstellige Funktion

AbsolutbetragFn

Coordinate term(s)

AbstraktionFn ArcuskosinusFn ArcussinusFn ArcustangensFn RückseiteFn AnfangFn BeginNullPunktFn KardinalitätFn ObersteGrenzeFn ErgänzungFn KosinusFn SchnittMengeFn NennerFn EndeFn EndeNullPunktFn ExtensionFn UntersteGrenzeFn FrontseiteFn ZukunftFn GeneralisierteDurchschnittFn GeneralisierteVereinigungFn GigaFn ImaginäresTeilFn SofortigeZukunftFn DirektVergangenheitFn AusgangsNullPunktFn GanzzahlQuadratwurzelFn KiloFn ListeLängeFn GrösseFn MegaFn MicroFn MilliFn MinimaleSchnittMengeFn NanoFn ZählerFn OrganisationFn VergangenheitFn PfadGewichtfn PicoFn PotenzMengeFn VorgängerFn HauptwirtFn Wahrscheinlichkeit EigentumFn RationaleZahlFn ReelleZahlfn ReziprokerWert RundFn SignumFn SinusFn OberflächeFn QuadratwurzelFn NachfolgerFn TangensFn TeraFn TerminalNullPunktFn Füllefn WennFn JahrFn

Type restrictions

nichtnegative reelle Zahl AbsoluteValueFn(reelle Zahl)

Related WordNet synsets

absolute value: a numerical value regardless of its sign

See more related synsets on a separate page.

Axioms (1)

"der absolutebetrag von number1" ist gleich number2 und number1 ist ein fall von reelle Zahl und number2 ist ein fall von reelle Zahl nur wenn

number1 ist ein fall von nichtnegative reelle Zahl und number1 ist gleich number2
number1 ist ein fall von negative reelle Zahl und number2 ist gleich "(-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)))))