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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Xenon

Sigma KEE - Xenon
Xenon

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


(atomicNumber Xenon 54) Mid-level-ontology.kif 30080-30080
(boilingPoint Xenon
    (MeasureFn 166.1 KelvinDegree))
Mid-level-ontology.kif 31207-31207
(documentation Xenon EnglishLanguage "Colourless, odourless gas belonging to group 18 on the periodic table (the noble gases.) Nine natural isotopes and seven radioactive isotopes are known. Xenon was part of the first noble-gas compound synthesized. Several others involving Xenon have been found since then. Xenon was discovered by Ramsey and Travers in 1898.") Mid-level-ontology.kif 30088-30092
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/0/09/ Xe%2C54.jpg") pictureList.kif 2425-2425
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/1/13/ Xe_TableImage.png") pictureList.kif 2064-2064
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 09/ Xe%2C54.jpg/ 125px_Xe%2C54.jpg") pictureList.kif 1289-1289
(meltingPoint Xenon
    (MeasureFn 161.3 KelvinDegree))
Mid-level-ontology.kif 31206-31206
(names Xenon "Xenon") Mid-level-ontology.kif 30078-30078
(roomTempState Xenon Gas) Mid-level-ontology.kif 33449-33449
(subclass Xenon ElementalSubstance) Mid-level-ontology.kif 30077-30077

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


(conventionalShortName "Xe" Xenon) Mid-level-ontology.kif 30079-30079
(termFormat ChineseLanguage Xenon "氙") domainEnglishFormat.kif 63603-63603
(termFormat ChineseTraditionalLanguage Xenon "氙") domainEnglishFormat.kif 63602-63602
(termFormat EnglishLanguage Xenon "xenon") domainEnglishFormat.kif 63601-63601

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


(=>
    (and
        (instance ?ATOM Xenon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 131.30 Amu)))
Mid-level-ontology.kif 30082-30086


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