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

NumeroInteroNonNegativo (NonnegativeInteger)

An Integer 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
  NumeroRazionale  
is subclass of
  NumeroIntero  
is subclass of
[tree]
Entitá
is subclass of
  Astratto  
is subclass of
  Quantitá  
is subclass of
  Numero  
is subclass of
  NumeroReale  
is subclass of
  NumeroRealeNonNegativo  
is subclass of
is subclass of
  NumeroInteroNonNegativo  

Subclass(es)

NumeroInteroPositivo 

Coordinate term(s)

NumeroInteroPari  NumeroInteroNegativo  NumeroInteroDispari  NumeroRealePositivo  NumeroPrimo 

Constrains relations

integer square root fn  list length fn 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

NumeroIntero é esaustivamente partizionato in NumeroInteroNegativo,NumeroInteroNonNegativo. 
(partition Integer NegativeInteger NonnegativeInteger)
Se set é un' istanza di InsiemeFinito, allora esiste NumeroInteroNonNegativo number tale che number is uguale a "il numero di istanzia in set". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))