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 |