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

liché celé číslo (OddInteger)

An Integer that is not evenly divisible by 2.

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
  liché celé číslo  

Související termín(y)

sudé celé číslo  záporné celé číslo  nezáporné celé číslo  prvočíslo 

Related WordNet synsets

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

Axiomy (2)

celé číslo je exhaustively partitioned into liché celé číslo,sudé celé číslo. 
(partition Integer OddInteger EvenInteger)
Jestliže number je instancí třídy liché celé číslo, potom "number mod " se rovná . 
(=>
      (instance ?NUMBER OddInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            1))