EvenInteger
|
|
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 | 子類 EvenInteger and 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, OddInteger and EvenInteger |
antecedent |
(=> (instance ?NUMBER EvenInteger) (equal (RemainderFn ?NUMBER 2) 0)) |
Merge.kif 5145-5148 |