| Radon(radon)
| | Rn, atomic_number_86, radon |
| appearance as argument number 1 |
|
|
| (atomicNumber Radon 86) | Mid-level-ontology.kif 29875-29875 | 86 is an atomic number of radon |
| (boilingPoint Radon (MeasureFn 211.4 KelvinDegree)) |
Mid-level-ontology.kif 30467-30467 | 211.4 Kelvin degree(s) is a boiling point of radon |
| (documentation Radon EnglishLanguage "Colorless radioactive gaseous element, belongs to the noble gases. Of the twenty known isotopes, the most stable is Rn-222 with a half_life of 3.8 days. Formed by the radioactive decay of {Radium}-226. Radon itself decays into {polonium}. Used in radiotherapy. As a noble gas, it is effectively inert, though radon fluoride has been synthesized. First isolated in 1908 by Ramsey and Gray.") | Mid-level-ontology.kif 29883-29888 | 211.4 Kelvin degree(s) is a boiling point of radon |
| (externalImage Radon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Rn_TableImage.png") | pictureList.kif 1943-1943 | 211.4 Kelvin degree(s) is a boiling point of radon |
| (meltingPoint Radon (MeasureFn 202.0 KelvinDegree)) |
Mid-level-ontology.kif 30466-30466 | 202.0 Kelvin degree(s) is a melting point of radon |
| (names Radon "Radon") | Mid-level-ontology.kif 29873-29873 | "Radon" has name radon |
| (roomTempState Radon Solid) | Mid-level-ontology.kif 32659-32659 | roomTempState radon and solid |
| (subclass Radon ElementalSubstance) | Mid-level-ontology.kif 29872-29872 | Radon is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Rn" Radon) | Mid-level-ontology.kif 29874-29874 | Radon is a conventional short name of "Rn" |
| (termFormat ChineseLanguage Radon "氡") | domainEnglishFormat.kif 48621-48621 | Radon is a conventional short name of "Rn" |
| (termFormat ChineseTraditionalLanguage Radon "氡") | domainEnglishFormat.kif 48620-48620 | Radon is a conventional short name of "Rn" |
| (termFormat EnglishLanguage Radon "radon") | domainEnglishFormat.kif 48619-48619 | Radon is a conventional short name of "Rn" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Radon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 222 Amu))) |
Mid-level-ontology.kif 29877-29881 |
|
|
|
|