RealNumber(実数) |
(range PPSFn RealNumber) | UXExperimentalTerms.kif 3049-3049 | PPSFn の range は 実数 のインスタンス では %n |
(range PathWeightFn RealNumber) | Merge.kif 5973-5973 | PathWeightFn の range は 実数 のインスタンス では %n |
(range PopulationGrowthFn RealNumber) | People.kif 38-38 | PopulationGrowthFn の range は 実数 のインスタンス では %n |
(range ProbabilityFn RealNumber) | Merge.kif 2574-2574 | ProbabilityFn の range は 実数 のインスタンス では %n |
(range RealNumberFn RealNumber) | Merge.kif 5062-5062 | RealNumberFn の range は 実数 のインスタンス では %n |
(range ReciprocalFn RealNumber) | Merge.kif 5071-5071 | ReciprocalFn の range は 実数 のインスタンス では %n |
(range RoundFn RealNumber) | Merge.kif 5171-5171 | RoundFn の range は 実数 のインスタンス では %n |
(range SRPEngagementFn RealNumber) | UXExperimentalTerms.kif 3713-3713 | SRPEngagementFn の range は 実数 のインスタンス では %n |
(range SineFn RealNumber) | Merge.kif 5212-5212 | SineFn の range は 実数 のインスタンス では %n |
(range SquareRootFn RealNumber) | Merge.kif 5220-5220 | SquareRootFn の range は 実数 のインスタンス では %n |
(range SubtractionFn RealNumber) | Merge.kif 4728-4728 | SubtractionFn の range は 実数 のインスタンス では %n |
(range TangentFn RealNumber) | Merge.kif 5232-5232 | TangentFn の range は 実数 のインスタンス では %n |
(subclass BinaryNumber RealNumber) | Merge.kif 2003-2003 | 2進数 は 実数 の subclass では %n |
(subclass IrrationalNumber RealNumber) | Merge.kif 1916-1916 | 無理数 は 実数 の subclass では %n |
(subclass NegativeRealNumber RealNumber) | Merge.kif 1943-1943 | 負の実数 は 実数 の subclass では %n |
(subclass NonnegativeRealNumber RealNumber) | Merge.kif 1921-1921 | 非負実数 は 実数 の subclass では %n |
(subclass RationalNumber RealNumber) | Merge.kif 1911-1911 | 有理数 は 実数 の subclass では %n |
(termFormat ChineseLanguage RealNumber "实数") | chinese_format.kif 859-859 | |
(termFormat EnglishLanguage RealNumber "real number") | english_format.kif 920-920 | |
(termFormat FrenchLanguage RealNumber "nombre r�el") | french_format.kif 535-535 | |
(termFormat Hindi RealNumber "vaastavika anka") | terms-hindi.txt 65-65 | |
(termFormat ItalianLanguage RealNumber "NumeroReale") | terms-it.txt 68-68 | |
(termFormat JapaneseLanguage RealNumber "実数") | japanese_format.kif 2220-2220 | |
(termFormat PortugueseLanguage RealNumber "Numero Real") | portuguese_format.kif 487-487 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |