RealNumber(real number)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 5231-5231 The number 1 argument of tangent is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 17868-17868 The number 2 argument of angular measure is an instance of real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29835-29835 The number 1 argument of approximate value is an instance of real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29836-29836 The number 2 argument of approximate value is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5965-5965 The number 2 argument of arc weight is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 5361-5361 The number 2 argument of average is an instance of real number
No TPTP formula. May not be expressible in strict first order. People.kif 1526-1526 The number 2 argument of belief group percent in region is an instance of real number
No TPTP formula. May not be expressible in strict first order. Cars.kif 1921-1921 The number 2 argument of compression ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 2585-2585 The number 3 argument of conditional probability is an instance of real number
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 529-529 The number 2 argument of confidence interval is an instance of real number
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3725-3725 The number 2 argument of contrast ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order. Cars.kif 796-796 The number 2 argument of damping ratio is an instance of real number
No TPTP formula. May not be expressible in strict first order. WMD.kif 886-886 The number 2 argument of disease mortality is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2044-2044 The number 3 argument of electricity fraction from source is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 2028-2028 The number 3 argument of electricity fraction from source in period is an instance of real number
No TPTP formula. May not be expressible in strict first order. People.kif 1545-1545 The number 2 argument of ethnicity percent in region is an instance of real number
No TPTP formula. May not be expressible in strict first order. Food.kif 1080-1080 The number 2 argument of grain size is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1848-1848 The number 1 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1849-1849 The number 2 argument of greater than is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1877-1877 The number 1 argument of greater than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Merge.kif 1878-1878 The number 2 argument of greater than or equal to is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 1263-1263 The number 2 argument of highest decile share of household income is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 1245-1245 The number 2 argument of highest decile share of household income in period is an instance of real number
No TPTP formula. May not be expressible in strict first order. Economy.kif 1942-1942 The number 2 argument of industrial production growth rate is an instance of real number
No TPTP formula. May not be expressible in strict first order. 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