|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29354-29354 | 950.0 Kelvin degree(s) is a boiling point of francium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29308-29308 | 3506.0 Kelvin degree(s) is a boiling point of gadolinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29242-29242 | 2676.0 Kelvin degree(s) is a boiling point of gallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29244-29244 | 3103.0 Kelvin degree(s) is a boiling point of germanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29338-29338 | 3213.0 Kelvin degree(s) is a boiling point of gold |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29324-29324 | 5673.0 Kelvin degree(s) is a boiling point of hafnium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29184-29184 | 4.216 Kelvin degree(s) is a boiling point of helium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29314-29314 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29182-29182 | 20.28 Kelvin degree(s) is a boiling point of hydrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29278-29278 | 2353.0 Kelvin degree(s) is a boiling point of indium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29286-29286 | 457.55 Kelvin degree(s) is a boiling point of iodine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29334-29334 | 4403.0 Kelvin degree(s) is a boiling point of iridium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29232-29232 | 3023.0 Kelvin degree(s) is a boiling point of iron |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29252-29252 | 120.85 Kelvin degree(s) is a boiling point of krypton |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29294-29294 | 3727.0 Kelvin degree(s) is a boiling point of lanthanum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29344-29344 | 2013.0 Kelvin degree(s) is a boiling point of lead |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29186-29186 | 1590.0 Kelvin degree(s) is a boiling point of lithium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29322-29322 | 3588.0 Kelvin degree(s) is a boiling point of lutetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29204-29204 | 1380.0 Kelvin degree(s) is a boiling point of magnesium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29230-29230 | 2370.0 Kelvin degree(s) is a boiling point of manganese |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29340-29340 | 629.73 Kelvin degree(s) is a boiling point of mercury |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29264-29264 | 5833.0 Kelvin degree(s) is a boiling point of molybdenum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29300-29300 | 3400.0 Kelvin degree(s) is a boiling point of neodymium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29200-29200 | 27.1 Kelvin degree(s) is a boiling point of neon |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29366-29366 | 4175.0 Kelvin degree(s) is a boiling point of neptunium |
| 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