Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

NumeroRealeNonNegativo (NonnegativeRealNumber)

A RealNumber that is greater than or equal to zero.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  Numero  
is subclass of
  NumeroReale  
is subclass of
  NumeroRealeNonNegativo  

Subclass(es)

NumeroRealePositivo  NumeroInteroNonNegativo 

Coordinate term(s)

NumeroBinario  NumeroIrrazionale  NumeroRealeNegativo  NumeroRazionale 

Constrains relations

absolute value fn 

Related WordNet synsets

nonnegative
(mathematics) either positive or zero
nonnegative is similar to...  

Axioms (4)

NumeroReale é esaustivamente partizionato in NumeroRealeNegativo,NumeroRealeNonNegativo. 
(partition RealNumber NegativeRealNumber NonnegativeRealNumber)
number é un' istanza di NumeroRealeNonNegativo se e solo se number é più grande di o uguale a e number é un' istanza di NumeroReale. 
(<=>
      (instance ?NUMBER NonnegativeRealNumber)
      (and
            (greaterThanOrEqualTo ?NUMBER 0)
            (instance ?NUMBER RealNumber)))
"ilvalore assoluto dinumber1" is uguale a number2 e number1 é un' istanza di NumeroReale e number2 é un' istanza di NumeroReale se e solo se 
(<=>
      (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)))))
Se number é un' istanza di NumeroRealeNonNegativo, allora "il segno di number" is uguale a o "il segno di number" is uguale a . 
(=>
      (instance ?NUMBER NonnegativeRealNumber)
      (or
            (equal
                  (SignumFn ?NUMBER)
                  1)
            (equal
                  (SignumFn ?NUMBER)
                  0)))