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 1826-1827
(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 1824-1824 subclass IrrationalNumber and RealNumber

appearance as argument number 2

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

appearance as argument number 3

(partition RealNumber RationalNumber IrrationalNumber) Merge.kif 1801-1801 partition RealNumber, RationalNumber and IrrationalNumber

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