|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29342-29342 | boilingPoint Francium and 950.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29296-29296 | boilingPoint Gadolinium and 3506.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29230-29230 | boilingPoint Gallium and 2676.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29232-29232 | boilingPoint Germanium and 3103.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29326-29326 | boilingPoint Gold and 3213.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29312-29312 | boilingPoint Hafnium and 5673.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29172-29172 | boilingPoint Helium and 4.216 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29302-29302 | boilingPoint Holmium and 2993.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29170-29170 | boilingPoint Hydrogen and 20.28 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29266-29266 | boilingPoint Indium and 2353.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29274-29274 | boilingPoint Iodine and 457.55 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29322-29322 | boilingPoint Iridium and 4403.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29220-29220 | boilingPoint Iron and 3023.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29240-29240 | boilingPoint Krypton and 120.85 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29282-29282 | boilingPoint Lanthanum and 3727.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29332-29332 | boilingPoint Lead and 2013.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29174-29174 | boilingPoint Lithium and 1590.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29310-29310 | boilingPoint Lutetium and 3588.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29192-29192 | boilingPoint Magnesium and 1380.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29218-29218 | boilingPoint Manganese and 2370.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29328-29328 | boilingPoint Mercury and 629.73 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29252-29252 | boilingPoint Molybdenum and 5833.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29288-29288 | boilingPoint Neodymium and 3400.0 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29188-29188 | boilingPoint Neon and 27.1 KelvinDegree(s) |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29354-29354 | boilingPoint Neptunium and 4175.0 KelvinDegree(s) |
| 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