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 28212-28212 54 是 atomic 數字
(boilingPoint Xenon
    (MeasureFn 166.1 KelvinDegree))
Mid-level-ontology.kif 29339-29339 測量 166.1 and 凱文度boiling
(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 28220-28224
(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 29338-29338 測量 161.3 and 凱文度melting
(names Xenon "Xenon") Mid-level-ontology.kif 28210-28210 and "Xenon"
(roomTempState Xenon Gas) Mid-level-ontology.kif 31536-31536 roomTempState and 加油站
(subclass Xenon ElementalSubstance) Mid-level-ontology.kif 28209-28209 子類 and ElementalSubstance

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


(conventionalShortName "Xe" Xenon) Mid-level-ontology.kif 28211-28211 是 "Xe" 的 conventional 簡稱
(termFormat ChineseLanguage Xenon "氙") domainEnglishFormat.kif 63611-63611
(termFormat ChineseTraditionalLanguage Xenon "氙") domainEnglishFormat.kif 63610-63610
(termFormat EnglishLanguage Xenon "xenon") domainEnglishFormat.kif 63609-63609

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


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


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