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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - OddInteger
OddInteger(奇数の整数)

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 1978-1979
(documentation OddInteger JapaneseLanguage "2 で均等に割り切れない Integer 。") japanese_format.kif 358-358
(subclass OddInteger Integer) Merge.kif 1976-1976 奇数の整数 は 整数 の subclass では

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


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

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


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


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