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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EvenInteger

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


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

Show without tree


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