No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29358-29358 |
3470.0 Kelvin degree(s) is a boiling point of actinium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29206-29206 |
2740.0 Kelvin degree(s) is a boiling point of aluminum |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29370-29370 |
2880.0 Kelvin degree(s) is a boiling point of americium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29282-29282 |
2023.0 Kelvin degree(s) is a boiling point of antimony |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29216-29216 |
87.29 Kelvin degree(s) is a boiling point of argon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29246-29246 |
886.0 Kelvin degree(s) is a boiling point of arsenic |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29350-29350 |
610.0 Kelvin degree(s) is a boiling point of astatine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29292-29292 |
1913.0 Kelvin degree(s) is a boiling point of barium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29188-29188 |
3243.0 Kelvin degree(s) is a boiling point of beryllium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29346-29346 |
1833.0 Kelvin degree(s) is a boiling point of bismuth |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29190-29190 |
2823.0 Kelvin degree(s) is a boiling point of boron |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29250-29250 |
331.93 Kelvin degree(s) is a boiling point of bromine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
1038.0 Kelvin degree(s) is a boiling point of cadmium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29290-29290 |
963.0 Kelvin degree(s) is a boiling point of caesium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29220-29220 |
1760.0 Kelvin degree(s) is a boiling point of calcium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29192-29192 |
5100.0 Kelvin degree(s) is a boiling point of carbon |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29296-29296 |
3530.0 Kelvin degree(s) is a boiling point of cerium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29214-29214 |
238.55 Kelvin degree(s) is a boiling point of chlorine |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29228-29228 |
2755.0 Kelvin degree(s) is a boiling point of chromium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29234-29234 |
3143.0 Kelvin degree(s) is a boiling point of cobalt |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29238-29238 |
2868.0 Kelvin degree(s) is a boiling point of copper |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29312-29312 |
2608.0 Kelvin degree(s) is a boiling point of dysprosium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29316-29316 |
2783.0 Kelvin degree(s) is a boiling point of erbium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29306-29306 |
1870.0 Kelvin degree(s) is a boiling point of europium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29198-29198 |
85.01 Kelvin degree(s) is a boiling point of fluorine |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |