![]() |
![]() ![]() ![]()
|
![]() |
|
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 1882-1884 | |
(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 11744-11744 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ 9/ 98/ Real_Number_Line.PNG") | pictureList.kif 10226-10226 | |
(externalImage RealNumber "http://upload.wikimedia.org/wikipedia/commons/ f/ fd/ Recta_real_entero_o_decimal_exacto.png") | pictureList.kif 11743-11743 | |
(partition RealNumber NegativeRealNumber NonnegativeRealNumber) | Merge.kif 1879-1879 | Nombre r�el est compl�tement d�compos� en nombre r�el n�gatif + nombre r�el non n�gatif |
(partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1880-1880 | Nombre r�el est compl�tement d�compos� en nombre rationnel + nombre irrationnel |
(subclass RealNumber Number) | Merge.kif 1878-1878 | Nombre r�el est une sous-classe de nombre |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4748-4748 | Le nombre 1 argument de AbsoluteValueFn est une instance de nombre r�el |
(domain AdditionFn 1 RealNumber) | Merge.kif 4698-4698 | Le nombre 1 argument de AdditionFn est une instance de nombre r�el |
(domain AdditionFn 2 RealNumber) | Merge.kif 4699-4699 | Le nombre 2 argument de AdditionFn est une instance de nombre r�el |
(domain ArcCosineFn 1 RealNumber) | Merge.kif 5245-5245 | Le nombre 1 argument de ArcCosineFn est une instance de nombre r�el |
(domain ArcSineFn 1 RealNumber) | Merge.kif 5255-5255 | Le nombre 1 argument de ArcSineFn est une instance de nombre r�el |
(domain ArcTangentFn 1 RealNumber) | Merge.kif 5235-5235 | Le nombre 1 argument de ArcTangentFn est une instance de nombre r�el |
(domain CeilingFn 1 RealNumber) | Merge.kif 4769-4769 | Le nombre 1 argument de CeilingFn est une instance de nombre r�el |
(domain DenominatorFn 1 RealNumber) | Merge.kif 4796-4796 | Le nombre 1 argument de DenominatorFn est une instance de nombre r�el |
(domain DivisionFn 1 RealNumber) | Merge.kif 4728-4728 | Le nombre 1 argument de DivisionFn est une instance de nombre r�el |
(domain DivisionFn 2 RealNumber) | Merge.kif 4729-4729 | Le nombre 2 argument de DivisionFn est une instance de nombre r�el |
(domain ExponentiationFn 1 RealNumber) | Merge.kif 4805-4805 | Le nombre 1 argument de ExponentiationFn est une instance de nombre r�el |
(domain FloorFn 1 RealNumber) | Merge.kif 4814-4814 | Le nombre 1 argument de FloorFn est une instance de nombre r�el |
(domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 4909-4909 | Le nombre 1 argument de IntegerSquareRootFn est une instance de nombre r�el |
(domain LogFn 1 RealNumber) | Merge.kif 4961-4961 | Le nombre 1 argument de LogFn est une instance de nombre r�el |
(domain MeasureFn 1 RealNumber) | Merge.kif 6334-6334 | Le nombre 1 argument de MeasureFn est une instance de nombre r�el |
(domain MultiplicationFn 1 RealNumber) | Merge.kif 4685-4685 | Le nombre 1 argument de MultiplicationFn est une instance de nombre r�el |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4686-4686 | Le nombre 2 argument de MultiplicationFn est une instance de nombre r�el |
(domain NumeratorFn 1 RealNumber) | Merge.kif 5022-5022 | Le nombre 1 argument de NumeratorFn est une instance de nombre r�el |
(domain ReciprocalFn 1 RealNumber) | Merge.kif 5056-5056 | Le nombre 1 argument de ReciprocalFn est une instance de nombre r�el |
(domain RoundFn 1 RealNumber) | Merge.kif 5156-5156 | Le nombre 1 argument de RoundFn est une instance de nombre r�el |
(domain SignumFn 1 RealNumber) | Merge.kif 5175-5175 | Le nombre 1 argument de SignumFn est une instance de nombre r�el |
(domain SineFn 1 RealNumber) | Merge.kif 5197-5197 | Le nombre 1 argument de SineFn est une instance de nombre r�el |
(domain SquareRootFn 1 RealNumber) | Merge.kif 5205-5205 | Le nombre 1 argument de SquareRootFn est une instance de nombre r�el |
(domain SubtractionFn 1 RealNumber) | Merge.kif 4712-4712 | Le nombre 1 argument de SubtractionFn est une instance de nombre r�el |
(domain SubtractionFn 2 RealNumber) | Merge.kif 4713-4713 | Le nombre 2 argument de SubtractionFn est une instance de nombre r�el |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
(<=> (instance ?NUMBER NegativeRealNumber) (and (lessThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1935-1939 | Nombre r�el est une instance de nombre r�el n�gatif nombre r�el est moins que 0 nombre r�el est une instance de nombre r�el |
(<=> (instance ?NUMBER NonnegativeRealNumber) (and (greaterThanOrEqualTo ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1913-1917 | Nombre r�el est une instance de nombre r�el non n�gatif nombre r�el est plus grand ou �gal � 0 nombre r�el est une instance de nombre r�el |
(<=> (instance ?NUMBER PositiveRealNumber) (and (greaterThan ?NUMBER 0) (instance ?NUMBER RealNumber))) |
Merge.kif 1924-1928 | Nombre r�el est une instance de nombre r�el positif nombre r�el est plus grand que 0 nombre r�el est une instance de nombre r�el |
(=> (average ?LIST ?AVERAGE) (forall (?LISTITEM) (=> (inList ?LISTITEM ?LIST) (instance ?LISTITEM RealNumber)))) |
Merge.kif 5355-5360 |
|
![]() |
![]() |