|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29224-29224 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29250-29250 | 5200.0 Kelvin degree(s) is a boiling point of niobium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | 77.4 Kelvin degree(s) is a boiling point of nitrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29320-29320 | 5300.0 Kelvin degree(s) is a boiling point of osmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | 90.188 Kelvin degree(s) is a boiling point of oxygen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29260-29260 | 3413.0 Kelvin degree(s) is a boiling point of palladium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29198-29198 | 553.0 Kelvin degree(s) is a boiling point of phosphorus |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | 4100.0 Kelvin degree(s) is a boiling point of platinum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29356-29356 | 3600.0 Kelvin degree(s) is a boiling point of plutonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29336-29336 | 1235.0 Kelvin degree(s) is a boiling point of polonium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29206-29206 | 1047.0 Kelvin degree(s) is a boiling point of potassium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 3485.0 Kelvin degree(s) is a boiling point of praseodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29290-29290 | 3000.0 Kelvin degree(s) is a boiling point of promethium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29350-29350 | 4300.0 Kelvin degree(s) is a boiling point of protactinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | 1413.0 Kelvin degree(s) is a boiling point of radium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | 211.4 Kelvin degree(s) is a boiling point of radon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29318-29318 | 5900.0 Kelvin degree(s) is a boiling point of rhenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29258-29258 | 4000.0 Kelvin degree(s) is a boiling point of rhodium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | 961.0 Kelvin degree(s) is a boiling point of rubidium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29256-29256 | 4173.0 Kelvin degree(s) is a boiling point of ruthenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29292-29292 | 2051.0 Kelvin degree(s) is a boiling point of samarium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29210-29210 | 3105.0 Kelvin degree(s) is a boiling point of scandium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | 958.1 Kelvin degree(s) is a boiling point of selenium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29196-29196 | 2628.0 Kelvin degree(s) is a boiling point of silicon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29262-29262 | 2485.0 Kelvin degree(s) is a boiling point of silver |
| 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