No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28257-28257 |
59 是 镨 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29298-29298 |
3485.0 凯文度 是 镨 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28265-28268 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1934-1934 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2322-2322 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1219-1219 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29297-29297 |
1204.0 凯文度 是 镨 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28255-28255 |
"Praseodymium" 的名 是 镨 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31509-31509 |
roomTempState 镨 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28254-28254 |
镨 是 元素物质 的 subclass |