No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28726-28726 |
84 是 钋 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29348-29348 |
1235.0 凯文度 是 钋 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28734-28738 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1928-1928 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29347-29347 |
527.0 凯文度 是 钋 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28724-28724 |
"Polonium" 的名 是 钋 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31534-31534 |
roomTempState 钋 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28723-28723 |
钋 是 元素物质 的 subclass |