No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27958-27958 |
42 是 钼 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29264-29264 |
5833.0 凯文度 是 钼 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27966-27976 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2258-2258 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1851-1851 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1189-1189 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29263-29263 |
2890.0 凯文度 是 钼 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27956-27956 |
"Molybdenum" 的名 是 钼 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31492-31492 |
roomTempState 钼 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 27955-27955 |
钼 是 元素物质 的 subclass |