No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28811-28811 |
86 是 氡 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29403-29403 |
測量 211.4 and 凱文度 是 氡 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28819-28824 |
|
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 29402-29402 |
測量 202.0 and 凱文度 是 氡 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28809-28809 |
名 氡 and "Radon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31568-31568 |
roomTempState 氡 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28808-28808 |
子類 氡 and ElementalSubstance |