No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28555-28555 |
atomicNumber Hafnium and 72 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29375-29375 |
boilingPoint Hafnium and 5673.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28563-28566 |
|
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 29374-29374 |
meltingPoint Hafnium and 2423.0 KelvinDegree(s) |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28553-28553 |
"Hafnium" se chama nome Hafnium |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31554-31554 |
roomTempState Hafnium and Solid |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28552-28552 |
Hafnium e' uma sub-classe de Substancia Elementar |