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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Uranium
Uranium(uranium)
U, atomic_number_92, uranium

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


(atomicNumber Uranium 92) Mid-level-ontology.kif 27145-27145 92 is an atomic number of uranium
(boilingPoint Uranium
    (MeasureFn 4091 KelvinDegree))
Mid-level-ontology.kif 27628-27628 4091 Kelvin degree(s) is a boiling point of uranium
(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 27152-27155
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/9/ 92/ U-TableImage.png") pictureList.kif 2054-2054
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ HEUraniumC.jpg") pictureList.kif 2420-2420
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d8/ HEUraniumC.jpg/ 125px-HEUraniumC.jpg") pictureList.kif 1281-1281
(meltingPoint Uranium
    (MeasureFn 1405.5 KelvinDegree))
Mid-level-ontology.kif 27627-27627 1405.5 Kelvin degree(s) is a melting point of uranium
(names Uranium "Uranium") Mid-level-ontology.kif 27143-27143 "Uranium" has name uranium
(subclass Uranium ElementalSubstance) Mid-level-ontology.kif 27142-27142 Uranium is a subclass of elemental substance

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


(conventionalShortName "U" Uranium) Mid-level-ontology.kif 27144-27144 Uranium is a conventional short name of "U"
(termFormat ChineseLanguage Uranium "铀") domainEnglishFormat.kif 60670-60670
(termFormat ChineseTraditionalLanguage Uranium "鈾") domainEnglishFormat.kif 60669-60669
(termFormat EnglishLanguage Uranium "uranium") domainEnglishFormat.kif 60668-60668

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


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


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