RealNumber(real number)

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


(range PPSFn RealNumber) UXExperimentalTerms.kif 3049-3049 The range of qualifying purchases per user is an instance of real number
(range PathWeightFn RealNumber) Merge.kif 5973-5973 The range of path weight is an instance of real number
(range PopulationGrowthFn RealNumber) People.kif 38-38 The range of population growth is an instance of real number
(range ProbabilityFn RealNumber) Merge.kif 2574-2574 The range of probability is an instance of real number
(range RealNumberFn RealNumber) Merge.kif 5062-5062 The range of real number is an instance of real number
(range ReciprocalFn RealNumber) Merge.kif 5071-5071 The range of 互相 is an instance of real number
(range RoundFn RealNumber) Merge.kif 5171-5171 The range of round is an instance of real number
(range SRPEngagementFn RealNumber) UXExperimentalTerms.kif 3713-3713 The range of SRP Engagement is an instance of real number
(range SineFn RealNumber) Merge.kif 5212-5212 The range of sine is an instance of real number
(range SquareRootFn RealNumber) Merge.kif 5220-5220 The range of square root is an instance of real number
(range SubtractionFn RealNumber) Merge.kif 4728-4728 The range of subtraction is an instance of real number
(range TangentFn RealNumber) Merge.kif 5232-5232 The range of tangent is an instance of real number
(subclass BinaryNumber RealNumber) Merge.kif 2003-2003 Binary number is a subclass of real number
(subclass IrrationalNumber RealNumber) Merge.kif 1916-1916 Irrational number is a subclass of real number
(subclass NegativeRealNumber RealNumber) Merge.kif 1943-1943 Negative real number is a subclass of real number
(subclass NonnegativeRealNumber RealNumber) Merge.kif 1921-1921 Nonnegative real number is a subclass of real number
(subclass RationalNumber RealNumber) Merge.kif 1911-1911 Rational number is a subclass of real number
(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