No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28760-28760 |
86 是 氡 的 atomic 数字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29352-29352 |
211.4 凯文度 是 氡 的 boiling 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28768-28773 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 1944-1944 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29351-29351 |
202.0 凯文度 是 氡 的 melting 点 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28758-28758 |
"Radon" 的名 是 氡 |
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 28757-28757 |
氡 是 元素物质 的 subclass |