No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28504-28504 |
72 是 铪 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29324-29324 |
5673.0 凯文度 是 铪 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28512-28515 |
|
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 29323-29323 |
2423.0 凯文度 是 铪 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28502-28502 |
"Hafnium" 的名 是 铪 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31522-31522 |
roomTempState 铪 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28501-28501 |
铪 是 元素物质 的 subclass |