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 1835-1837 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 0/ 09/ Number-line.gif") | pictureList.kif 11751-11751 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10233-10233 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11750-11750 | |
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1832-1832 | Real number is exhaustively partitioned into negative real number and nonnegative real number |
(partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1833-1833 | Real number is exhaustively partitioned into rational number and irrational number |
(subclass RealNumber Number) | Merge.kif 1831-1831 | Real number is a subclass of number |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4666-4666 | The number 1 argument of absolute value is an instance of real number |
(domain AdditionFn 1 RealNumber) | Merge.kif 4616-4616 | The number 1 argument of addition is an instance of real number |
(domain AdditionFn 2 RealNumber) | Merge.kif 4617-4617 | The number 2 argument of addition is an instance of real number |
(domain ArcCosineFn 1 RealNumber) | Merge.kif 5159-5159 | The number 1 argument of arccosine is an instance of real number |
(domain ArcSineFn 1 RealNumber) | Merge.kif 5169-5169 | The number 1 argument of arcsine is an instance of real number |
(domain ArcTangentFn 1 RealNumber) | Merge.kif 5149-5149 | The number 1 argument of arctangent is an instance of real number |
(domain CeilingFn 1 RealNumber) | Merge.kif 4687-4687 | The number 1 argument of ceiling is an instance of real number |
(domain DenominatorFn 1 RealNumber) | Merge.kif 4714-4714 | The number 1 argument of denominator is an instance of real number |
(domain DivisionFn 1 RealNumber) | Merge.kif 4646-4646 | The number 1 argument of division is an instance of real number |
(domain DivisionFn 2 RealNumber) | Merge.kif 4647-4647 | The number 2 argument of division is an instance of real number |
(domain ExponentiationFn 1 RealNumber) | Merge.kif 4723-4723 | The number 1 argument of exponentiation is an instance of real number |
(domain FloorFn 1 RealNumber) | Merge.kif 4732-4732 | The number 1 argument of floor is an instance of real number |
(domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 4827-4827 | The number 1 argument of integer square root is an instance of real number |
(domain LogFn 1 RealNumber) | Merge.kif 4879-4879 | The number 1 argument of log is an instance of real number |
(domain MeasureFn 1 RealNumber) | Merge.kif 6252-6252 | The number 1 argument of measure is an instance of real number |
(domain MultiplicationFn 1 RealNumber) | Merge.kif 4603-4603 | The number 1 argument of multiplication is an instance of real number |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4604-4604 | The number 2 argument of multiplication is an instance of real number |
(domain NumeratorFn 1 RealNumber) | Merge.kif 4940-4940 | The number 1 argument of numerator is an instance of real number |
(domain ReciprocalFn 1 RealNumber) | Merge.kif 4974-4974 | The number 1 argument of 互相 is an instance of real number |
(domain RoundFn 1 RealNumber) | Merge.kif 5070-5070 | The number 1 argument of round is an instance of real number |
(domain SignumFn 1 RealNumber) | Merge.kif 5089-5089 | The number 1 argument of signum is an instance of real number |
(domain SineFn 1 RealNumber) | Merge.kif 5111-5111 | The number 1 argument of sine is an instance of real number |
(domain SquareRootFn 1 RealNumber) | Merge.kif 5119-5119 | The number 1 argument of square root is an instance of real number |
(domain SubtractionFn 1 RealNumber) | Merge.kif 4630-4630 | The number 1 argument of subtraction is an instance of real number |
(domain SubtractionFn 2 RealNumber) | Merge.kif 4631-4631 | The number 2 argument of subtraction is an instance of real number |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |