No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28653-28653 |
80 是 汞 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29340-29340 |
629.73 凯文度 是 汞 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28661-28665 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1846-1846 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2256-2256 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1177-1177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29339-29339 |
234.28 凯文度 是 汞 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28651-28651 |
"Mercury" 的名 是 汞 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31530-31530 |
roomTempState 汞 and 液体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28650-28650 |
汞 是 元素物质 的 subclass |