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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - IrrationalNumber

appearance as argument number 1

(documentation IrrationalNumber ChineseLanguage "这是任何一个不是 RationalNumberRealNumber。") chinese_format.kif 1743-1744
(documentation IrrationalNumber EnglishLanguage "Any RealNumber that is not also a RationalNumber.") Merge.kif 1918-1919
(documentation IrrationalNumber JapaneseLanguage "RationalNumber でもない任意の RealNumber 。") japanese_format.kif 351-352
(externalImage IrrationalNumber " 2/ 2e/ Pi-symbol.svg") pictureList.kif 4877-4877
(externalImage IrrationalNumber " c/ ce/ Circle_Area.svg") pictureList.kif 4979-4979
(externalImage IrrationalNumber " f/ f2/ Square_root_of_2_triangle.png") pictureList.kif 4981-4981
(externalImage IrrationalNumber " f/ f9/ PI.svg") pictureList.kif 4980-4980
(subclass IrrationalNumber RealNumber) Merge.kif 1916-1916

appearance as argument number 2

(termFormat ChineseLanguage IrrationalNumber "无理数") chinese_format.kif 862-862
(termFormat EnglishLanguage IrrationalNumber "irrational number") english_format.kif 926-926
(termFormat FrenchLanguage IrrationalNumber "nombre irrationnel") french_format.kif 538-538
(termFormat Hindi IrrationalNumber "aparimeya anka") terms-hindi.txt 68-68
(termFormat ItalianLanguage IrrationalNumber "NumeroIrrazionale") terms-it.txt 71-71
(termFormat JapaneseLanguage IrrationalNumber "無理数") japanese_format.kif 2223-2223
(termFormat PortugueseLanguage IrrationalNumber "Numero Irracional") portuguese_format.kif 490-490
(termFormat cz IrrationalNumber "irrational number") terms-cz.txt 105-105
(termFormat ro IrrationalNumber "numãr iraþional") relations-ro.kif 559-559
(termFormat tg IrrationalNumber "hindi proporsiyong numero") terms-tg.txt 72-72

appearance as argument number 3

(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1893-1893

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