No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28062-28062 |
48 是 镉 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29276-29276 |
1038.0 凯文度 是 镉 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28070-28073 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1683-1683 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29275-29275 |
594.1 凯文度 是 镉 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28060-28060 |
"Cadmium" 的名 是 镉 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31498-31498 |
roomTempState 镉 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28059-28059 |
镉 是 元素物质 的 subclass |