boilingPoint |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29342-29342 | 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 29296-29296 | 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 29230-29230 | 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 29232-29232 | 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 29326-29326 | 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 29312-29312 | 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 29172-29172 | 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 29302-29302 | 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 29170-29170 | 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 29266-29266 | 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 29274-29274 | 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 29322-29322 | 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 29220-29220 | 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 29240-29240 | 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 29282-29282 | 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 29332-29332 | 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 29174-29174 | 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 29310-29310 | 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 29192-29192 | 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 29218-29218 | 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 29328-29328 | 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 29252-29252 | 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 29288-29288 | 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 29188-29188 | 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 29354-29354 | 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 |