|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29263-29263 | 2890.0 Kelvin degree(s) is a melting point of molybdenum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29299-29299 | 1283.0 Kelvin degree(s) is a melting point of neodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29199-29199 | 24.48 Kelvin degree(s) is a melting point of neon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29365-29365 | 913.0 Kelvin degree(s) is a melting point of neptunium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29235-29235 | 1726.0 Kelvin degree(s) is a melting point of nickel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29261-29261 | 2741.0 Kelvin degree(s) is a melting point of niobium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29193-29193 | 63.29 Kelvin degree(s) is a melting point of nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29331-29331 | 3318.0 Kelvin degree(s) is a melting point of osmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29195-29195 | 54.75 Kelvin degree(s) is a melting point of oxygen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29271-29271 | 1825.0 Kelvin degree(s) is a melting point of palladium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29209-29209 | 317.3 Kelvin degree(s) is a melting point of phosphorus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29335-29335 | 2045.0 Kelvin degree(s) is a melting point of platinum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29367-29367 | 914.0 Kelvin degree(s) is a melting point of plutonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29347-29347 | 527.0 Kelvin degree(s) is a melting point of polonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29217-29217 | 336.8 Kelvin degree(s) is a melting point of potassium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29297-29297 | 1204.0 Kelvin degree(s) is a melting point of praseodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29301-29301 | 1353.0 Kelvin degree(s) is a melting point of promethium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29361-29361 | 1827.0 Kelvin degree(s) is a melting point of protactinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29355-29355 | 973.0 Kelvin degree(s) is a melting point of radium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29351-29351 | 202.0 Kelvin degree(s) is a melting point of radon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29329-29329 | 3453.0 Kelvin degree(s) is a melting point of rhenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29269-29269 | 2239.0 Kelvin degree(s) is a melting point of rhodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29253-29253 | 312.2 Kelvin degree(s) is a melting point of rubidium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29267-29267 | 2583.0 Kelvin degree(s) is a melting point of ruthenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29303-29303 | 1345.0 Kelvin degree(s) is a melting point of samarium |
| 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