|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29363-29363 | 1133.0 Kelvin degree(s) is a melting point of einsteinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29303-29303 | 1795.0 Kelvin degree(s) is a melting point of erbium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29293-29293 | 1095.0 Kelvin degree(s) is a melting point of europium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29185-29185 | 53.53 Kelvin degree(s) is a melting point of fluorine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29341-29341 | 300.0 Kelvin degree(s) is a melting point of francium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29295-29295 | 1584.0 Kelvin degree(s) is a melting point of gadolinium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29229-29229 | 302.93 Kelvin degree(s) is a melting point of gallium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29231-29231 | 1210.55 Kelvin degree(s) is a melting point of germanium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29325-29325 | 1337.58 Kelvin degree(s) is a melting point of gold |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29311-29311 | 2423.0 Kelvin degree(s) is a melting point of hafnium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29171-29171 | 0.95 Kelvin degree(s) is a melting point of helium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29301-29301 | 1743.0 Kelvin degree(s) is a melting point of holmium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29169-29169 | 14.01 Kelvin degree(s) is a melting point of hydrogen |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29265-29265 | 429.32 Kelvin degree(s) is a melting point of indium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29273-29273 | 386.65 Kelvin degree(s) is a melting point of iodine |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29321-29321 | 2683.0 Kelvin degree(s) is a melting point of iridium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29219-29219 | 1808.0 Kelvin degree(s) is a melting point of iron |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29239-29239 | 116.55 Kelvin degree(s) is a melting point of krypton |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29281-29281 | 1193.0 Kelvin degree(s) is a melting point of lanthanum |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29331-29331 | 600.65 Kelvin degree(s) is a melting point of lead |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29173-29173 | 453.69 Kelvin degree(s) is a melting point of lithium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29309-29309 | 1929.0 Kelvin degree(s) is a melting point of lutetium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29191-29191 | 921.95 Kelvin degree(s) is a melting point of magnesium |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29217-29217 | 1517.0 Kelvin degree(s) is a melting point of manganese |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | 234.28 Kelvin degree(s) is a melting point of mercury |
| 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