No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28828-28828 |
90 是 钍 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29360-29360 |
5060.0 凯文度 是 钍 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28836-28840 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2399-2399 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2028-2028 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29359-29359 |
2023.0 凯文度 是 钍 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28826-28826 |
"Thorium" 的名 是 钍 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31540-31540 |
roomTempState 钍 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28825-28825 |
钍 是 元素物质 的 subclass |