No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28098-28098 |
51 是 锑 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29270-29270 |
2023.0 凯文度 是 锑 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28106-28110 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 230-230 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2104-2104 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1642-1642 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29269-29269 |
903.89 凯文度 是 锑 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28096-28096 |
"Antimony" 的名 是 锑 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31497-31497 |
roomTempState 锑 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28095-28095 |
锑 是 元素物质 的 subclass |