No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28467-28467 |
70 是 镱 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29320-29320 |
1466.0 凯文度 是 镱 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28475-28477 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2067-2067 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2429-2429 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1290-1290 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29319-29319 |
1097.0 凯文度 是 镱 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28465-28465 |
"Ytterbium" 的名 是 镱 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31520-31520 |
roomTempState 镱 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28464-28464 |
镱 是 元素物质 的 subclass |