Radon |
appearance as argument number 1 |
(atomicNumber Radon 86) | Mid-level-ontology.kif 29044-29044 | |
(boilingPoint Radon (MeasureFn 211.4 KelvinDegree)) |
Mid-level-ontology.kif 29636-29636 | |
(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 29052-29057 | |
(externalImage Radon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Rn-TableImage.png") | pictureList.kif 1943-1943 | |
(meltingPoint Radon (MeasureFn 202.0 KelvinDegree)) |
Mid-level-ontology.kif 29635-29635 | |
(names Radon "Radon") | Mid-level-ontology.kif 29042-29042 | |
(roomTempState Radon Solid) | Mid-level-ontology.kif 31801-31801 | |
(subclass Radon ElementalSubstance) | Mid-level-ontology.kif 29041-29041 |
appearance as argument number 2 |
(conventionalShortName "Rn" Radon) | Mid-level-ontology.kif 29043-29043 | |
(termFormat ChineseLanguage Radon "氡") | domainEnglishFormat.kif 48623-48623 | |
(termFormat ChineseTraditionalLanguage Radon "氡") | domainEnglishFormat.kif 48622-48622 | |
(termFormat EnglishLanguage Radon "radon") | domainEnglishFormat.kif 48621-48621 |
antecedent |
(=> (and (instance ?ATOM Radon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 222 Amu))) |
Mid-level-ontology.kif 29046-29050 |