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 | NumeroReale è esaustivamente partizionato in NumeroRealeNegativo + NumeroRealeNonNegativo |
(partition RealNumber RationalNumber IrrationalNumber) | Merge.kif 1893-1893 | NumeroReale è esaustivamente partizionato in NumeroRazionale + NumeroIrrazionale |
(subclass RealNumber Number) | Merge.kif 1891-1891 | NumeroReale è una sottoclasse di Numero |
appearance as argument number 2 |
appearance as argument number 3 |
(domain AbsoluteValueFn 1 RealNumber) | Merge.kif 4762-4762 | Il numero 1 argomenti di AbsoluteValueFn è un istanza di NumeroReale |
(domain AdditionFn 1 RealNumber) | Merge.kif 4712-4712 | Il numero 1 argomenti di AdditionFn è un istanza di NumeroReale |
(domain AdditionFn 2 RealNumber) | Merge.kif 4713-4713 | Il numero 2 argomenti di AdditionFn è un istanza di NumeroReale |
(domain ArcCosineFn 1 RealNumber) | Merge.kif 5259-5259 | Il numero 1 argomenti di ArcCosineFn è un istanza di NumeroReale |
(domain ArcSineFn 1 RealNumber) | Merge.kif 5269-5269 | Il numero 1 argomenti di ArcSineFn è un istanza di NumeroReale |
(domain ArcTangentFn 1 RealNumber) | Merge.kif 5249-5249 | Il numero 1 argomenti di ArcTangentFn è un istanza di NumeroReale |
(domain CeilingFn 1 RealNumber) | Merge.kif 4783-4783 | Il numero 1 argomenti di CeilingFn è un istanza di NumeroReale |
(domain DenominatorFn 1 RealNumber) | Merge.kif 4810-4810 | Il numero 1 argomenti di DenominatorFn è un istanza di NumeroReale |
(domain DivisionFn 1 RealNumber) | Merge.kif 4742-4742 | Il numero 1 argomenti di DivisionFn è un istanza di NumeroReale |
(domain DivisionFn 2 RealNumber) | Merge.kif 4743-4743 | Il numero 2 argomenti di DivisionFn è un istanza di NumeroReale |
(domain ExponentiationFn 1 RealNumber) | Merge.kif 4819-4819 | Il numero 1 argomenti di ExponentiationFn è un istanza di NumeroReale |
(domain FloorFn 1 RealNumber) | Merge.kif 4828-4828 | Il numero 1 argomenti di FloorFn è un istanza di NumeroReale |
(domain IntegerSquareRootFn 1 RealNumber) | Merge.kif 4923-4923 | Il numero 1 argomenti di IntegerSquareRootFn è un istanza di NumeroReale |
(domain LogFn 1 RealNumber) | Merge.kif 4975-4975 | Il numero 1 argomenti di LogFn è un istanza di NumeroReale |
(domain MeasureFn 1 RealNumber) | Merge.kif 6348-6348 | Il numero 1 argomenti di MeasureFn è un istanza di NumeroReale |
(domain MultiplicationFn 1 RealNumber) | Merge.kif 4699-4699 | Il numero 1 argomenti di MultiplicationFn è un istanza di NumeroReale |
(domain MultiplicationFn 2 RealNumber) | Merge.kif 4700-4700 | Il numero 2 argomenti di MultiplicationFn è un istanza di NumeroReale |
(domain NumeratorFn 1 RealNumber) | Merge.kif 5036-5036 | Il numero 1 argomenti di NumeratorFn è un istanza di NumeroReale |
(domain ReciprocalFn 1 RealNumber) | Merge.kif 5070-5070 | Il numero 1 argomenti di ReciprocalFn è un istanza di NumeroReale |
(domain RoundFn 1 RealNumber) | Merge.kif 5170-5170 | Il numero 1 argomenti di RoundFn è un istanza di NumeroReale |
(domain SignumFn 1 RealNumber) | Merge.kif 5189-5189 | Il numero 1 argomenti di SignumFn è un istanza di NumeroReale |
(domain SineFn 1 RealNumber) | Merge.kif 5211-5211 | Il numero 1 argomenti di SineFn è un istanza di NumeroReale |
(domain SquareRootFn 1 RealNumber) | Merge.kif 5219-5219 | Il numero 1 argomenti di SquareRootFn è un istanza di NumeroReale |
(domain SubtractionFn 1 RealNumber) | Merge.kif 4726-4726 | Il numero 1 argomenti di SubtractionFn è un istanza di NumeroReale |
(domain SubtractionFn 2 RealNumber) | Merge.kif 4727-4727 | Il numero 2 argomenti di SubtractionFn è un istanza di NumeroReale |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
consequent |