|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29236-29236 | 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 29262-29262 | 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 29194-29194 | 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 29332-29332 | 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 29196-29196 | 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 29272-29272 | 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 29210-29210 | 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 29336-29336 | 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 29368-29368 | 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 29348-29348 | 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 29218-29218 | 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 29298-29298 | 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 29302-29302 | 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 29362-29362 | 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 29356-29356 | 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 29352-29352 | 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 29330-29330 | 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 29270-29270 | 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 29254-29254 | 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 29268-29268 | 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 29304-29304 | 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 29222-29222 | 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 29248-29248 | 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 29208-29208 | 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 29274-29274 | 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