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 1874-1875
(subclass OddInteger Integer) Merge.kif 1872-1872 subclass OddInteger and Integer

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


(partition Integer OddInteger EvenInteger) Merge.kif 1862-1862 partition Integer, OddInteger and EvenInteger
(termFormat ChineseLanguage OddInteger "奇整数") chinese_format.kif 868-868 termFormat ChineseLanguage, OddInteger and "奇整数"
(termFormat EnglishLanguage OddInteger "odd integer") english_format.kif 943-943 termFormat EnglishLanguage, OddInteger and "odd integer"

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners