Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EvenInteger
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 5144-5147


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners