No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28537-28537 |
74 是 钨 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29328-29328 |
6200.0 凯文度 是 钨 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28545-28548 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2046-2046 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2416-2416 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1275-1275 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29327-29327 |
3680.0 凯文度 是 钨 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28535-28535 |
"Tungsten" 的名 是 钨 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31524-31524 |
roomTempState 钨 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28534-28534 |
钨 是 元素物质 的 subclass |