| EvenInteger(even integer) | | even |
| appearance as argument number 1 |
|
|
| (documentation EvenInteger ChineseLanguage "这是一个可以被2整除的 Integer。") | chinese_format.kif 1749-1749 | |
| (documentation EvenInteger EnglishLanguage "An Integer that is evenly divisible by 2.") | Merge.kif 1962-1963 | |
| (documentation EvenInteger JapaneseLanguage "2 で均等に割り切れる Integer 。") | japanese_format.kif 357-357 | |
| (subclass EvenInteger Integer) | Merge.kif 1960-1960 | Even integer is a subclass of integer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EvenInteger "偶数") | chinese_format.kif 867-867 | |
| (termFormat EnglishLanguage EvenInteger "even integer") | english_format.kif 936-936 | |
| (termFormat FrenchLanguage EvenInteger "nombre entier �gal") | french_format.kif 543-543 | |
| (termFormat Hindi EvenInteger "sama pUrNaanka") | terms-hindi.txt 73-73 | |
| (termFormat ItalianLanguage EvenInteger "NumeroInteroPari") | terms-it.txt 76-76 | |
| (termFormat JapaneseLanguage EvenInteger "偶数の整数") | japanese_format.kif 2228-2228 | |
| (termFormat PortugueseLanguage EvenInteger "Inteiro Par") | portuguese_format.kif 495-495 | |
| (termFormat cb EvenInteger "patag tanan") | terms-cb.txt 78-78 | |
| (termFormat cz EvenInteger "even integer") | terms-cz.txt 110-110 | |
| (termFormat ro EvenInteger "întreg par") | relations-ro.kif 564-564 | |
| (termFormat tg EvenInteger "tukol na mga numero") | terms-tg.txt 77-77 |
| appearance as argument number 3 |
|
|
| (partition Integer OddInteger EvenInteger) | Merge.kif 1955-1955 | Integer is exhaustively partitioned into odd integer and even integer |
| antecedent |
|
|
| (=> (instance ?NUMBER EvenInteger) (equal (RemainderFn ?NUMBER 2) 0)) |
Merge.kif 5145-5148 |
|
|
|
|