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

NumeroInteroDispari (OddInteger)

An Integer that is not evenly divisible by 2.

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
  NumeroInteroDispari  

Coordinate term(s)

NumeroInteroPari  NumeroInteroNegativo  NumeroInteroNonNegativo  NumeroPrimo 

Related WordNet synsets

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

Axioms (2)

NumeroIntero é esaustivamente partizionato in NumeroInteroDispari,NumeroInteroPari. 
(partition Integer OddInteger EvenInteger)
Se number é un' istanza di NumeroInteroDispari, allora "number mod " is uguale a . 
(=>
      (instance ?NUMBER OddInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            1))