Wählen Sie Sprache: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

nichtnegative Ganzzahl (NonnegativeInteger)

An Integer that is greater than or equal to zero.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  Zahl  
is subclass of
  reelle Zahl  
is subclass of
  rationale Zahl  
is subclass of
  Ganzzahl  
is subclass of
[tree]
Wesen
is subclass of
  abstrakter Gegenstand  
is subclass of
  Eigenschaft  
is subclass of
  Zahl  
is subclass of
  reelle Zahl  
is subclass of
  nichtnegative reelle Zahl  
is subclass of
is subclass of
  nichtnegative Ganzzahl  

Subclass(es)

positive Ganzzahl 

Coordinate term(s)

gerade Ganzzahl  negative Ganzzahl  ungerade Ganzzahl  positive reelle Zahl  Hauptzahl 

Constrains relations

GanzzahlQuadratwurzelFn  ListeLängeFn 

Related WordNet synsets

See more related synsets on a separate page.

Axioms (2)

Ganzzahl wird vollständig in negative Ganzzahl,nichtnegative Ganzzahl verteilt. 
(partition Integer NegativeInteger NonnegativeInteger)
Wenn set ist ein fall von begrenzte Menge , dann es gibt ein nichtnegative Ganzzahl number der number ist gleich "die Zahl Fällen in set" . 
(=>
      (instance ?SET FiniteSet)
      (exists
            (?NUMBER)
            (and
                  (instance ?NUMBER NonnegativeInteger)
                  (equal
                        ?NUMBER
                        (CardinalityFn ?SET)))))