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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Radon

Sigma KEE - Radon
Radon

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


(atomicNumber Radon 86) Mid-level-ontology.kif 28811-28811 atomicNumber Radon and 86
(boilingPoint Radon
    (MeasureFn 211.4 KelvinDegree))
Mid-level-ontology.kif 29403-29403 boilingPoint Radon and 211.4 KelvinDegree(s)
(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 28819-28824
(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 29402-29402 meltingPoint Radon and 202.0 KelvinDegree(s)
(names Radon "Radon") Mid-level-ontology.kif 28809-28809 names Radon and "Radon"
(roomTempState Radon Solid) Mid-level-ontology.kif 31568-31568 roomTempState Radon and Solid
(subclass Radon ElementalSubstance) Mid-level-ontology.kif 28808-28808 Radon ist eine teilkategorie von ElementalSubstance

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


(conventionalShortName "Rn" Radon) Mid-level-ontology.kif 28810-28810 conventionalShortName "Rn" and Radon
(termFormat ChineseLanguage Radon "氡") domainEnglishFormat.kif 48592-48592
(termFormat ChineseTraditionalLanguage Radon "氡") domainEnglishFormat.kif 48591-48591
(termFormat EnglishLanguage Radon "radon") domainEnglishFormat.kif 48590-48590

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


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


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

Show without tree


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