RealNumber |
appearance as argument number 1 |
(documentation RealNumber ChineseLanguage "任何可以表达为一个(可能是无限的)十进制的 Number, 即任何在数字线上佔有一席位 Number。") | chinese_format.kif 1737-1738 | |
(documentation RealNumber EnglishLanguage "Any Number that can be expressed as a (possibly infinite) decimal, i.e. any Number that has a position on the number line.") | Merge.kif 1895-1897 | |
(documentation RealNumber JapaneseLanguage "(無限の可能性がある)10進数として表現できる任意の Number。例:数直線の位置を持つ任意の Number。") | japanese_format.kif 345-346 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") | pictureList.kif 11735-11735 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10223-10223 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11734-11734 | |
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1892-1892 | 劃分 RealNumber, NegativeRealNumber and NonnegativeRealNumber |
(partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1893-1893 | 劃分 RealNumber, RationalNumber and IrrationalNumber |
(subclass RealNumber Number) | Merge.kif 1891-1891 | 子類 RealNumber and Number |
appearance as argument number 2 |
appearance as argument number 3 |
antecedent |
consequent |