IrrationalNumber |
appearance as argument number 1 |
(documentation IrrationalNumber ChineseLanguage "这是任何一个不是 RationalNumber 的 RealNumber。") | 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 "http://upload.wikimedia.org/wikipedia/commons/ 2/ 2e/ Pi-symbol.svg") | pictureList.kif 4877-4877 | |
(externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Circle_Area.svg") | pictureList.kif 4979-4979 | |
(externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ f2/ Square_root_of_2_triangle.png") | pictureList.kif 4981-4981 | |
(externalImage IrrationalNumber "http://upload.wikimedia.org/wikipedia/commons/ 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 |