| OddInteger | |
| 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 1967-1968 | |
| (documentation OddInteger JapaneseLanguage "2 で均等に割り切れない Integer 。") | japanese_format.kif 358-358 | |
| (subclass OddInteger Integer) | Merge.kif 1965-1965 | 子類 OddInteger and Integer |
| appearance as argument number 2 |
|
|
| (partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | 劃分 Integer, OddInteger and EvenInteger |
| (termFormat ChineseLanguage OddInteger "奇整数") | chinese_format.kif 868-868 | |
| (termFormat EnglishLanguage OddInteger "odd integer") | english_format.kif 938-938 | |
| (termFormat FrenchLanguage OddInteger "nombre entier impair") | french_format.kif 544-544 | |
| (termFormat Hindi OddInteger "visham pUrNaanka") | terms-hindi.txt 74-74 | |
| (termFormat ItalianLanguage OddInteger "NumeroInteroDispari") | terms-it.txt 77-77 | |
| (termFormat JapaneseLanguage OddInteger "奇数の整数") | japanese_format.kif 2229-2229 | |
| (termFormat PortugueseLanguage OddInteger "Inteiro Impar") | portuguese_format.kif 496-496 | |
| (termFormat cb OddInteger "sobra tanan") | terms-cb.txt 79-79 | |
| (termFormat cz OddInteger "odd integer") | terms-cz.txt 111-111 | |
| (termFormat ro OddInteger "întreg impar") | relations-ro.kif 565-565 | |
| (termFormat tg OddInteger "butal na numero") | terms-tg.txt 78-78 |
| antecedent |
|
|
| (=> (instance ?NUMBER OddInteger) (equal (RemainderFn ?NUMBER 2) 1)) |
Merge.kif 5150-5153 |
|
|
|