EvenInteger - Sigma Knowledge base Browser

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 1869-1870
(subclass EvenInteger Integer)	Merge.kif 1867-1867	subclass EvenInteger and Integer

appearance as argument number 2

(termFormat ChineseLanguage EvenInteger "偶数")	chinese_format.kif 867-867	termFormat ChineseLanguage, EvenInteger and "偶数"
(termFormat EnglishLanguage EvenInteger "even integer")	english_format.kif 941-941	termFormat EnglishLanguage, EvenInteger and "even integer"

appearance as argument number 3

(partition Integer OddInteger EvenInteger)

Merge.kif 1862-1862

antecedent

(=>
    (instance ?NUMBER EvenInteger)
    (equal
        (RemainderFn ?NUMBER 2) 0))

Merge.kif 4770-4772