nichtnegative reelle Zahl (NonnegativeRealNumber)

A RealNumber that is greater than or equal to zero.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

Wesen

abstrakter Gegenstand

Eigenschaft

Zahl

reelle Zahl

nichtnegative reelle Zahl

Subclass(es)

positive reelle Zahl nichtnegative Ganzzahl

Coordinate term(s)

Binärzahl irrationale Zahl negative reelle Zahl rationale Zahl

Constrains relations

AbsolutbetragFn

Related WordNet synsets

nonnegative: (mathematics) either positive or zero

Axioms (4)

reelle Zahl wird vollständig in negative reelle Zahl,nichtnegative reelle Zahl verteilt.

(partition RealNumber NegativeRealNumber NonnegativeRealNumber)

number ist ein fall von nichtnegative reelle Zahl nur wenn number ist grösserAlsOderGleich und number ist ein fall von reelle Zahl .

(<=>
      (instance ?NUMBER NonnegativeRealNumber)
      (and
            (greaterThanOrEqualTo ?NUMBER 0)
            (instance ?NUMBER RealNumber)))

"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)))))

Wenn number ist ein fall von nichtnegative reelle Zahl , dann "das zeichen von number" ist gleich oder "das zeichen von number" ist gleich .

(=>
      (instance ?NUMBER NonnegativeRealNumber)
      (or
            (equal
                  (SignumFn ?NUMBER)
                  1)
            (equal
                  (SignumFn ?NUMBER)
                  0)))