No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28492-28492 |
atomicNumber Hafnium and 72 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29312-29312 |
boilingPoint Hafnium and 5673.0 KelvinDegree(s) |
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 |
meltingPoint Hafnium and 2423.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28490-28490 |
"Hafnium" s'appele nom 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 est une sous-classe de substance �l�mentaire |