RealNumber(实数)

-------------------------


(range PPSFn RealNumber) UXExperimentalTerms.kif 3049-3049 PPSFnrange实数 的实例
(range PathWeightFn RealNumber) Merge.kif 5973-5973 路径衡量函数range实数 的实例
(range PopulationGrowthFn RealNumber) People.kif 38-38 人口增长range实数 的实例
(range ProbabilityFn RealNumber) Merge.kif 2574-2574 表示机率的函数range实数 的实例
(range RealNumberFn RealNumber) Merge.kif 5062-5062 实数函数range实数 的实例
(range ReciprocalFn RealNumber) Merge.kif 5071-5071 倒数函数range实数 的实例
(range RoundFn RealNumber) Merge.kif 5171-5171 四舍五入函数range实数 的实例
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3713-3713 SRPEngagementFnrange实数 的实例
(range SineFn RealNumber) Merge.kif 5212-5212 正弦函数range实数 的实例
(range SquareRootFn RealNumber) Merge.kif 5220-5220 平方根函数range实数 的实例
(range SubtractionFn RealNumber) Merge.kif 4728-4728 减法函数range实数 的实例
(range TangentFn RealNumber) Merge.kif 5232-5232 正切函数range实数 的实例
(subclass BinaryNumber RealNumber) Merge.kif 2003-2003 二进制数实数subclass
(subclass IrrationalNumber RealNumber) Merge.kif 1916-1916 无理数实数subclass
(subclass NegativeRealNumber RealNumber) Merge.kif 1943-1943 负实数实数subclass
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1921-1921 非负实数实数subclass
(subclass RationalNumber RealNumber) Merge.kif 1911-1911 有理数实数subclass
(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


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners