OddInteger(odd integer) | ![]() | odd, uneven |
appearance as argument number 1 |
![]() |
(documentation OddInteger ChineseLanguage "这是一个不能被2整除的 Integer。") | chinese_format.kif 1750-1750 | |
(documentation OddInteger EnglishLanguage "An Integer that is not evenly divisible by 2.") | Merge.kif 1961-1962 | |
(documentation OddInteger JapaneseLanguage "2 で均等に割り切れない Integer 。") | japanese_format.kif 358-358 | |
(subclass OddInteger Integer) | Merge.kif 1959-1959 | Odd integer is a subclass of integer |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (instance ?NUMBER OddInteger) (equal (RemainderFn ?NUMBER 2) 1)) |
Merge.kif 5139-5142 |
|
![]() |
![]() |