| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28328-28328 |
63 是 铕 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29294-29294 |
1870.0 凯文度 是 铕 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28336-28339 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1751-1751 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2164-2164 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1103-1103 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29293-29293 |
1095.0 凯文度 是 铕 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28326-28326 |
"Europium" 的名 是 铕 |
| 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 28325-28325 |
铕 是 元素物质 的 subclass |
