| IrrationalNumber(irrational number)
| | irrational, irrational_number, transcendental_number |
| 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 | Irrational number is a subclass of real number |
| 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 | Real number is exhaustively partitioned into rational number and irrational number |
|
|
|