RealNumber

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


(range PPSFn RealNumber) UXExperimentalTerms.kif 3049-3049 範圍 PPSFn and RealNumber
(range PathWeightFn RealNumber) Merge.kif 5973-5973 範圍 路徑重量 and RealNumber
(range PopulationGrowthFn RealNumber) People.kif 38-38 範圍 人口增長 and RealNumber
(range ProbabilityFn RealNumber) Merge.kif 2574-2574 範圍 可能性 and RealNumber
(range RealNumberFn RealNumber) Merge.kif 5062-5062 範圍 實數 and RealNumber
(range ReciprocalFn RealNumber) Merge.kif 5071-5071 範圍 互相 and RealNumber
(range RoundFn RealNumber) Merge.kif 5171-5171 範圍 回合 and RealNumber
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3713-3713 範圍 SRPEngagementFn and RealNumber
(range SineFn RealNumber) Merge.kif 5212-5212 範圍 正弦 and RealNumber
(range SquareRootFn RealNumber) Merge.kif 5220-5220 範圍 平方根 and RealNumber
(range SubtractionFn RealNumber) Merge.kif 4728-4728 範圍 減法 and RealNumber
(range TangentFn RealNumber) Merge.kif 5232-5232 範圍 切線 and RealNumber
(subclass BinaryNumber RealNumber) Merge.kif 2003-2003 子類 BinaryNumber and RealNumber
(subclass IrrationalNumber RealNumber) Merge.kif 1916-1916 子類 IrrationalNumber and RealNumber
(subclass NegativeRealNumber RealNumber) Merge.kif 1943-1943 子類 NegativeRealNumber and RealNumber
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1921-1921 子類 NonnegativeRealNumber and RealNumber
(subclass RationalNumber RealNumber) Merge.kif 1911-1911 子類 RationalNumber and RealNumber
(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