| 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 1875-1876 | |
| (subclass OddInteger Integer) | Merge.kif 1873-1873 | subclass OddInteger and Integer |
| appearance as argument number 2 |
|
|
| (partition Integer OddInteger EvenInteger) | Merge.kif 1863-1863 | partition Integer, OddInteger and EvenInteger |
| (termFormat ChineseLanguage OddInteger "奇整数") | chinese_format.kif 868-868 | |
| (termFormat EnglishLanguage OddInteger "odd integer") | english_format.kif 943-943 |
| antecedent |
|
|
| (=> (instance ?NUMBER OddInteger) (equal (RemainderFn ?NUMBER 2) 1)) |
Merge.kif 4903-4905 |
|
|
|
|