No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28356-28356 |
64 是 钆 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29308-29308 |
3506.0 凯文度 是 钆 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28364-28368 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1769-1769 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2177-2177 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1118-1118 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29307-29307 |
1584.0 凯文度 是 钆 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28354-28354 |
"Gadolinium" 的名 是 钆 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31514-31514 |
roomTempState 钆 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28353-28353 |
钆 是 元素物质 的 subclass |