No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28816-28816 |
90 是 钍 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29348-29348 |
5060.0 凯文度 是 钍 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28824-28828 |
|
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 29347-29347 |
2023.0 凯文度 是 钍 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28814-28814 |
"Thorium" 的名 是 钍 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31536-31536 |
roomTempState 钍 and 固体 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28813-28813 |
钍 是 元素物质 的 subclass |