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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OddInteger

Sigma KEE - OddInteger
OddInteger(odd integer)odd, uneven

appearance as argument number 1
-------------------------


(documentation OddInteger ChineseLanguage "这是一个不能被2整除的 Integer。") chinese_format.kif 1750-1750
(documentation OddInteger EnglishLanguage "An Integer that is not evenly divisible by 2.") Merge.kif 1967-1968
(documentation OddInteger JapaneseLanguage "2 で均等に割り切れない Integer 。") japanese_format.kif 358-358
(subclass OddInteger Integer) Merge.kif 1965-1965 Odd integer is a subclass of integer

appearance as argument number 2
-------------------------


(partition Integer OddInteger EvenInteger) Merge.kif 1955-1955 Integer is exhaustively partitioned into odd integer and even integer
(termFormat ChineseLanguage OddInteger "奇整数") chinese_format.kif 868-868
(termFormat EnglishLanguage OddInteger "odd integer") english_format.kif 938-938
(termFormat FrenchLanguage OddInteger "nombre entier impair") french_format.kif 544-544
(termFormat Hindi OddInteger "visham pUrNaanka") terms-hindi.txt 74-74
(termFormat ItalianLanguage OddInteger "NumeroInteroDispari") terms-it.txt 77-77
(termFormat JapaneseLanguage OddInteger "奇数の整数") japanese_format.kif 2229-2229
(termFormat PortugueseLanguage OddInteger "Inteiro Impar") portuguese_format.kif 496-496
(termFormat cb OddInteger "sobra tanan") terms-cb.txt 79-79
(termFormat cz OddInteger "odd integer") terms-cz.txt 111-111
(termFormat ro OddInteger "întreg impar") relations-ro.kif 565-565
(termFormat tg OddInteger "butal na numero") terms-tg.txt 78-78

antecedent
-------------------------


(=>
    (instance ?NUMBER OddInteger)
    (equal
        (RemainderFn ?NUMBER 2) 1))
Merge.kif 5149-5152


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