No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28470-28470 |
71 是 镏 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29310-29310 |
3588.0 凯文度 是 镏 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28478-28487 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1838-1838 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2249-2249 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1161-1161 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29309-29309 |
1929.0 凯文度 是 镏 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28468-28468 |
"Lutetium" 的名 是 镏 |
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 28467-28467 |
镏 是 元素物质 的 subclass |