RealNumber(real number)

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


(domain TangentFn 1 RealNumber) Merge.kif 5231-5231 The number 1 argument of tangent is an instance of real number
(domain angularMeasure 2 RealNumber) Merge.kif 17868-17868 The number 2 argument of angular measure is an instance of real number
(domain approximateValue 1 RealNumber) Mid-level-ontology.kif 29835-29835 The number 1 argument of approximate value is an instance of real number
(domain approximateValue 2 RealNumber) Mid-level-ontology.kif 29836-29836 The number 2 argument of approximate value is an instance of real number
(domain arcWeight 2 RealNumber) Merge.kif 5965-5965 The number 2 argument of arc weight is an instance of real number
(domain average 2 RealNumber) Merge.kif 5361-5361 The number 2 argument of average is an instance of real number
(domain beliefGroupPercentInRegion 2 RealNumber) People.kif 1526-1526 The number 2 argument of belief group percent in region is an instance of real number
(domain compressionRatio 2 RealNumber) Cars.kif 1921-1921 The number 2 argument of compression ratio is an instance of real number
(domain conditionalProbability 3 RealNumber) Merge.kif 2585-2585 The number 3 argument of conditional probability is an instance of real number
(domain confidenceInterval 2 RealNumber) UXExperimentalTerms.kif 529-529 The number 2 argument of confidence interval is an instance of real number
(domain contrastRatio 2 RealNumber) ComputingBrands.kif 3725-3725 The number 2 argument of contrast ratio is an instance of real number
(domain dampingRatio 2 RealNumber) Cars.kif 796-796 The number 2 argument of damping ratio is an instance of real number
(domain diseaseMortality 2 RealNumber) WMD.kif 886-886 The number 2 argument of disease mortality is an instance of real number
(domain electricityFractionFromSource 3 RealNumber) Economy.kif 2044-2044 The number 3 argument of electricity fraction from source is an instance of real number
(domain electricityFractionFromSourceInPeriod 3 RealNumber) Economy.kif 2028-2028 The number 3 argument of electricity fraction from source in period is an instance of real number
(domain ethnicityPercentInRegion 2 RealNumber) People.kif 1545-1545 The number 2 argument of ethnicity percent in region is an instance of real number
(domain grainSize 2 RealNumber) Food.kif 1080-1080 The number 2 argument of grain size is an instance of real number
(domain greaterThan 1 RealNumber) Merge.kif 1848-1848 The number 1 argument of greater than is an instance of real number
(domain greaterThan 2 RealNumber) Merge.kif 1849-1849 The number 2 argument of greater than is an instance of real number
(domain greaterThanOrEqualTo 1 RealNumber) Merge.kif 1877-1877 The number 1 argument of greater than or equal to is an instance of real number
(domain greaterThanOrEqualTo 2 RealNumber) Merge.kif 1878-1878 The number 2 argument of greater than or equal to is an instance of real number
(domain highestDecileShareOfHouseholdIncome 2 RealNumber) Economy.kif 1263-1263 The number 2 argument of highest decile share of household income is an instance of real number
(domain highestDecileShareOfHouseholdIncomeInPeriod 2 RealNumber) Economy.kif 1245-1245 The number 2 argument of highest decile share of household income in period is an instance of real number
(domain industrialProductionGrowthRate 2 RealNumber) Economy.kif 1942-1942 The number 2 argument of industrial production growth rate is an instance of real number
(domain industrialProductionGrowthRateInPeriod 2 RealNumber) Economy.kif 1932-1932 The number 2 argument of industrial production growth rate in period is an instance of real number

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