meltingPoint |
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 |