Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi

odd integer (OddInteger)

An Integer that is not evenly divisible by 2.

Ontology

SUMO / BASE-ONTOLOGY

Superclass(es)

[tree]

is subclass of

abstract

is subclass of

quantity

is subclass of

number

is subclass of

is subclass of

rational number

is subclass of

integer

is subclass of

Coordinate term(s)

even integer negative integer nonnegative integer prime number

Related WordNet synsets

odd: not divisible by two

Axioms (2)

integer is exhaustively partitioned into odd integer,even integer.

(partition Integer OddInteger EvenInteger)

If number is an instance of odd integer, then "number mod " is equal to .

(=>
      (instance ?NUMBER OddInteger)
      (equal
            (RemainderFn ?NUMBER 2)
            1))