|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29375-29375 | 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 29315-29315 | 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 29305-29305 | 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 29197-29197 | 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 29353-29353 | 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 29307-29307 | 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 29241-29241 | 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 29243-29243 | 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 29337-29337 | 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 29323-29323 | 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 29183-29183 | 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 29313-29313 | 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 29181-29181 | 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 29277-29277 | 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 29285-29285 | 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 29333-29333 | 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 29231-29231 | 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 29251-29251 | 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 29293-29293 | 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 29343-29343 | 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 29185-29185 | 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 29321-29321 | 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 29203-29203 | 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 29229-29229 | 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 29339-29339 | 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