záporné reálné číslo (NegativeRealNumber)

A RealNumber that is less than zero.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

entita

abstraktum

veličina

číslo

reálné číslo

záporné reálné číslo

Podtřída(y)

záporné celé číslo

Související termín(y)

binární číslo iracionální číslo nezáporné reálné číslo racionální číslo

Related WordNet synsets

negative: (mathematics) less than zero; "a negative number"

See more related synsets on a separate page.

Axiomy (4)

reálné číslo je exhaustively partitioned into záporné reálné číslo,nezáporné reálné číslo.

(partition RealNumber NegativeRealNumber NonnegativeRealNumber)

number je instancí třídy záporné reálné číslo tehdy a jen tehdy pokud number je menší než a number je instancí třídy reálné číslo.

(<=>
      (instance ?NUMBER NegativeRealNumber)
      (and
            (lessThan ?NUMBER 0)
            (instance ?NUMBER RealNumber)))

"absolute value fn(number1)" se rovná number2 a number1 je instancí třídy reálné číslo a number2 je instancí třídy reálné číslo tehdy a jen tehdy pokud

number1 je instancí třídy nezáporné reálné číslo a number1 se rovná number2
number1 je instancí třídy záporné reálné číslo a number2 se rovná "(-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)))))

Jestliže number je instancí třídy záporné reálné číslo, potom "signum fn(number)" se rovná .

(=>
      (instance ?NUMBER NegativeRealNumber)
      (equal
            (SignumFn ?NUMBER)
            -1))