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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Xenon
Xenon(xenon)
Xe, atomic_number_54, xenon

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


(atomicNumber Xenon 54) Mid-level-ontology.kif 28161-28161 54 is an atomic number of xenon
(boilingPoint Xenon
    (MeasureFn 166.1 KelvinDegree))
Mid-level-ontology.kif 29288-29288 166.1 Kelvin degree(s) is a boiling point of xenon
(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 28169-28173
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/0/09/ Xe%2C54.jpg") pictureList.kif 2426-2426
(externalImage Xenon "http://upload.wikimedia.org/wikipedia/commons/1/13/ Xe-TableImage.png") pictureList.kif 2065-2065
(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 29287-29287 161.3 Kelvin degree(s) is a melting point of xenon
(names Xenon "Xenon") Mid-level-ontology.kif 28159-28159 "Xenon" has name xenon
(roomTempState Xenon Gas) Mid-level-ontology.kif 31504-31504 roomTempState xenon and gas
(subclass Xenon ElementalSubstance) Mid-level-ontology.kif 28158-28158 Xenon is a subclass of elemental substance

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


(conventionalShortName "Xe" Xenon) Mid-level-ontology.kif 28160-28160 Xenon is a conventional short name of "Xe"
(termFormat ChineseLanguage Xenon "氙") domainEnglishFormat.kif 63609-63609
(termFormat ChineseTraditionalLanguage Xenon "氙") domainEnglishFormat.kif 63608-63608
(termFormat EnglishLanguage Xenon "xenon") domainEnglishFormat.kif 63607-63607

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


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


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