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 1858-1859
(externalImage IrrationalNumber " 2/ 2e/ Pi-symbol.svg") pictureList.kif 4878-4878
(externalImage IrrationalNumber " c/ ce/ Circle_Area.svg") pictureList.kif 4980-4980
(externalImage IrrationalNumber " f/ f2/ Square_root_of_2_triangle.png") pictureList.kif 4982-4982
(externalImage IrrationalNumber " f/ f9/ PI.svg") pictureList.kif 4981-4981
(subclass IrrationalNumber RealNumber) Merge.kif 1856-1856

appearance as argument number 2

(termFormat ChineseLanguage IrrationalNumber "无理数") chinese_format.kif 862-862
(termFormat EnglishLanguage IrrationalNumber "irrational number") english_format.kif 926-926

appearance as argument number 3

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

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