| 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 1870-1871 | |
| (subclass EvenInteger Integer) | Merge.kif 1868-1868 | subclass EvenInteger and Integer |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage EvenInteger "偶数") | chinese_format.kif 867-867 | |
| (termFormat EnglishLanguage EvenInteger "even integer") | english_format.kif 941-941 |
| appearance as argument number 3 |
|
|
| (partition Integer OddInteger EvenInteger) | Merge.kif 1863-1863 | partition Integer, OddInteger and EvenInteger |
| antecedent |
|
|
| (=> (instance ?NUMBER EvenInteger) (equal (RemainderFn ?NUMBER 2) 0)) |
Merge.kif 4899-4901 |
|
|
|
|