RealNumber(Numero Real)![]() ![]() | ![]() |
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 1906-1908 | |
(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 11728-11728 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10221-10221 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11727-11727 | |
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1903-1903 | O conceito Numero Real e' completamente decomposto em Numero Real negativo + Numero Real nao-negativo |
(partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1904-1904 | O conceito Numero Real e' completamente decomposto em Numero Racional + Numero Irracional |
(subclass RealNumber Number) | Merge.kif 1902-1902 | Numero Real e' uma sub-classe de Numero |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4790-4790 | O argumento numero 1 de AbsoluteValueFn e' uma instancia de Numero Real |
(domain AdditionFn 1 RealNumber) | Merge.kif 4740-4740 | O argumento numero 1 de AdditionFn e' uma instancia de Numero Real |
(domain AdditionFn 2 RealNumber) | Merge.kif 4741-4741 | O argumento numero 2 de AdditionFn e' uma instancia de Numero Real |
(domain ArcCosineFn 1 RealNumber) | Merge.kif 5287-5287 | O argumento numero 1 de ArcCosineFn e' uma instancia de Numero Real |
(domain ArcSineFn 1 RealNumber) | Merge.kif 5297-5297 | O argumento numero 1 de ArcSineFn e' uma instancia de Numero Real |
(domain ArcTangentFn 1 RealNumber) | Merge.kif 5277-5277 | O argumento numero 1 de ArcTangentFn e' uma instancia de Numero Real |
(domain CeilingFn 1 RealNumber) | Merge.kif 4811-4811 | O argumento numero 1 de CeilingFn e' uma instancia de Numero Real |
(domain DenominatorFn 1 RealNumber) | Merge.kif 4838-4838 | O argumento numero 1 de DenominatorFn e' uma instancia de Numero Real |
(domain DivisionFn 1 RealNumber) | Merge.kif 4770-4770 | O argumento numero 1 de DivisionFn e' uma instancia de Numero Real |
(domain DivisionFn 2 RealNumber) | Merge.kif 4771-4771 | O argumento numero 2 de DivisionFn e' uma instancia de Numero Real |
(domain ExponentiationFn 1 RealNumber) | Merge.kif 4847-4847 | O argumento numero 1 de ExponentiationFn e' uma instancia de Numero Real |
(domain FloorFn 1 RealNumber) | Merge.kif 4856-4856 | O argumento numero 1 de FloorFn e' uma instancia de Numero Real |
(domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 4951-4951 | O argumento numero 1 de IntegerSquareRootFn e' uma instancia de Numero Real |
(domain LogFn 1 RealNumber) | Merge.kif 5003-5003 | O argumento numero 1 de LogFn e' uma instancia de Numero Real |
(domain MeasureFn 1 RealNumber) | Merge.kif 6373-6373 | O argumento numero 1 de MeasureFn e' uma instancia de Numero Real |
(domain MultiplicationFn 1 RealNumber) | Merge.kif 4727-4727 | O argumento numero 1 de MultiplicationFn e' uma instancia de Numero Real |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4728-4728 | O argumento numero 2 de MultiplicationFn e' uma instancia de Numero Real |
(domain NumeratorFn 1 RealNumber) | Merge.kif 5064-5064 | O argumento numero 1 de NumeratorFn e' uma instancia de Numero Real |
(domain ReciprocalFn 1 RealNumber) | Merge.kif 5098-5098 | O argumento numero 1 de ReciprocalFn e' uma instancia de Numero Real |
(domain RoundFn 1 RealNumber) | Merge.kif 5198-5198 | O argumento numero 1 de RoundFn e' uma instancia de Numero Real |
(domain SignumFn 1 RealNumber) | Merge.kif 5217-5217 | O argumento numero 1 de SignumFn e' uma instancia de Numero Real |
(domain SineFn 1 RealNumber) | Merge.kif 5239-5239 | O argumento numero 1 de SineFn e' uma instancia de Numero Real |
(domain SquareRootFn 1 RealNumber) | Merge.kif 5247-5247 | O argumento numero 1 de SquareRootFn e' uma instancia de Numero Real |
(domain SubtractionFn 1 RealNumber) | Merge.kif 4754-4754 | O argumento numero 1 de SubtractionFn e' uma instancia de Numero Real |
(domain SubtractionFn 2 RealNumber) | Merge.kif 4755-4755 | O argumento numero 2 de SubtractionFn e' uma instancia de Numero Real |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |