Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radon
Radon(radon)
Rn, atomic_number_86, radon

appearance as argument number 1
-------------------------


(atomicNumber Radon 86) Mid-level-ontology.kif 28760-28760 86 is an atomic number of radon
(boilingPoint Radon
    (MeasureFn 211.4 KelvinDegree))
Mid-level-ontology.kif 29352-29352 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 28768-28773
(externalImage Radon "http://upload.wikimedia.org/wikipedia/commons/c/c2/ Rn-TableImage.png") pictureList.kif 1944-1944
(meltingPoint Radon
    (MeasureFn 202.0 KelvinDegree))
Mid-level-ontology.kif 29351-29351 202.0 Kelvin degree(s) is a melting point of radon
(names Radon "Radon") Mid-level-ontology.kif 28758-28758 "Radon" has name radon
(roomTempState Radon Solid) Mid-level-ontology.kif 31536-31536 roomTempState radon and solid
(subclass Radon ElementalSubstance) Mid-level-ontology.kif 28757-28757 Radon is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Rn" Radon) Mid-level-ontology.kif 28759-28759 Radon is a conventional short name of "Rn"
(termFormat ChineseLanguage Radon "氡") domainEnglishFormat.kif 48590-48590
(termFormat ChineseTraditionalLanguage Radon "氡") domainEnglishFormat.kif 48589-48589
(termFormat EnglishLanguage Radon "radon") domainEnglishFormat.kif 48588-48588

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Radon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 222 Amu)))
Mid-level-ontology.kif 28762-28766


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners