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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Uranium

Sigma KEE - Uranium
Uranium(鈾)

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


(atomicNumber Uranium 92) Mid-level-ontology.kif 28850-28850 92 是 atomic 數字
(boilingPoint Uranium
    (MeasureFn 4091.0 KelvinDegree))
Mid-level-ontology.kif 29352-29352 測量 4091.0 and 凱文度boiling
(documentation Uranium EnglishLanguage "White radioactive metallic element belonging to the actinoids. Three natural isotopes, U-238, U-235 and U-234. Uranium-235 is used as the fuel for nuclear reactors and weapons. Discovered by Martin H. Klaproth in 1789.") Mid-level-ontology.kif 28858-28861
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/9/ 92/ U-TableImage.png") pictureList.kif 2053-2053
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ HEUraniumC.jpg") pictureList.kif 2419-2419
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d8/ HEUraniumC.jpg/ 125px-HEUraniumC.jpg") pictureList.kif 1280-1280
(meltingPoint Uranium
    (MeasureFn 1405.5 KelvinDegree))
Mid-level-ontology.kif 29351-29351 測量 1405.5 and 凱文度melting
(names Uranium "Uranium") Mid-level-ontology.kif 28848-28848 and "Uranium"
(roomTempState Uranium Solid) Mid-level-ontology.kif 31538-31538 roomTempState and 固體
(subclass Uranium ElementalSubstance) Mid-level-ontology.kif 28847-28847 子類 and ElementalSubstance

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


(conventionalShortName "U" Uranium) Mid-level-ontology.kif 28849-28849 是 "U" 的 conventional 簡稱
(termFormat ChineseLanguage Uranium "铀") domainEnglishFormat.kif 60686-60686
(termFormat ChineseTraditionalLanguage Uranium "鈾") domainEnglishFormat.kif 60685-60685
(termFormat EnglishLanguage Uranium "uranium") domainEnglishFormat.kif 60684-60684

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


(=>
    (and
        (instance ?ATOM Uranium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 231 Amu)))
Mid-level-ontology.kif 28852-28856


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