Zvolte jazyk: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Koncept:
Anglické slovo:
Hlavní stránka

nezáporné celé číslo (NonnegativeInteger)

An Integer that is greater than or equal to zero.

Ontologie

SUMO / BASE-ONTOLOGY

Nadtřída(y)

[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  racionální číslo  
is subclass of
  celé číslo  
is subclass of
[tree]
entita
is subclass of
  abstraktum  
is subclass of
  veličina  
is subclass of
  číslo  
is subclass of
  reálné číslo  
is subclass of
  nezáporné reálné číslo  
is subclass of
is subclass of
  nezáporné celé číslo  

Podtřída(y)

kladné celé číslo 

Související termín(y)

sudé celé číslo  záporné celé číslo  liché celé číslo  kladné reálné číslo  prvočíslo 

Constrains relations

integer square root fn  list length fn 

Related WordNet synsets

See more related synsets on a separate page.

Axiomy (2)

celé číslo je exhaustively partitioned into záporné celé číslo,nezáporné celé číslo. 
(partition Integer NegativeInteger NonnegativeInteger)
Jestliže set je instancí třídy konečná množina, potom existuje nezáporné celé číslo number tak, že number se rovná "cardinality fn(set)". 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))