| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28409-28409 |
67 是 钬 的 atomic 数字 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29314-29314 |
2993.0 凯文度 是 钬 的 boiling 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28417-28429 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2216-2216 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1805-1805 |
|
| No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1138-1138 |
|
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29313-29313 |
1743.0 凯文度 是 钬 的 melting 点 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28407-28407 |
"Holmium" 的名 是 钬 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31517-31517 |
roomTempState 钬 and 固体 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28406-28406 |
钬 是 元素物质 的 subclass |
