No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28748-28748 |
86 是 氡 的 atomic 數字 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29340-29340 |
測量 211.4 and 凱文度 是 氡 的 boiling 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28756-28761 |
|
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 29339-29339 |
測量 202.0 and 凱文度 是 氡 的 melting 點 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28746-28746 |
名 氡 and "Radon" |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31532-31532 |
roomTempState 氡 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 28745-28745 |
子類 氡 and ElementalSubstance |