No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28492-28492 |
72 is an atomic number of hafnium |
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 28500-28503 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1797-1797 |
|
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 28490-28490 |
"Hafnium" has name hafnium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31518-31518 |
roomTempState hafnium and solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28489-28489 |
Hafnium is a subclass of elemental substance |