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

ungerade Ganzzahl (OddInteger)

An Integer that is not evenly divisible by 2.

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
  ungerade Ganzzahl  

Coordinate term(s)

gerade Ganzzahl  negative Ganzzahl  nichtnegative Ganzzahl  Hauptzahl 

Related WordNet synsets

odd
not divisible by two
odd is opposite to...  

Axioms (2)

Ganzzahl wird vollständig in ungerade Ganzzahl,gerade Ganzzahl verteilt. 
(partition Integer OddInteger EvenInteger)
Wenn number ist ein fall von ungerade Ganzzahl , dann "number betrag " ist gleich . 
(=>
      (instance ?NUMBER OddInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            1))