No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31276-31276 |
1320.0 Kelvin degree(s) is a melting point of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31124-31124 |
933.52 Kelvin degree(s) is a melting point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31288-31288 |
1267.0 Kelvin degree(s) is a melting point of americium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31200-31200 |
903.89 Kelvin degree(s) is a melting point of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31134-31134 |
83.78 Kelvin degree(s) is a melting point of argon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31164-31164 |
886.0 Kelvin degree(s) is a melting point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31268-31268 |
575.0 Kelvin degree(s) is a melting point of astatine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31210-31210 |
998.0 Kelvin degree(s) is a melting point of barium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31292-31292 |
1259.0 Kelvin degree(s) is a melting point of berkelium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31106-31106 |
1551.0 Kelvin degree(s) is a melting point of beryllium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31264-31264 |
544.5 Kelvin degree(s) is a melting point of bismuth |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31108-31108 |
2573.0 Kelvin degree(s) is a melting point of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31168-31168 |
265.9 Kelvin degree(s) is a melting point of bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31194-31194 |
594.1 Kelvin degree(s) is a melting point of cadmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31208-31208 |
301.55 Kelvin degree(s) is a melting point of caesium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31138-31138 |
1112.0 Kelvin degree(s) is a melting point of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31293-31293 |
1173.0 Kelvin degree(s) is a melting point of californium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31110-31110 |
3823.0 Kelvin degree(s) is a melting point of carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31214-31214 |
1071.0 Kelvin degree(s) is a melting point of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31132-31132 |
172.17 Kelvin degree(s) is a melting point of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31146-31146 |
2130.0 Kelvin degree(s) is a melting point of chromium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31152-31152 |
1768.0 Kelvin degree(s) is a melting point of cobalt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31156-31156 |
1356.6 Kelvin degree(s) is a melting point of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31291-31291 |
1613.0 Kelvin degree(s) is a melting point of curium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31230-31230 |
1682.0 Kelvin degree(s) is a melting point of dysprosium |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |