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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Radon
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


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