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 30783-30783 92 is an atomic number of uranium
(boilingPoint Uranium
    (MeasureFn 4091.0 KelvinDegree))
Mid-level-ontology.kif 31285-31285 4091.0 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 30791-30794 4091.0 Kelvin degree(s) is a boiling point of uranium
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/9/ 92/ U_TableImage.png") pictureList.kif 2052-2052 4091.0 Kelvin degree(s) is a boiling point of uranium
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ HEUraniumC.jpg") pictureList.kif 2418-2418 4091.0 Kelvin degree(s) is a boiling point of uranium
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d8/ HEUraniumC.jpg/ 125px_HEUraniumC.jpg") pictureList.kif 1280-1280 4091.0 Kelvin degree(s) is a boiling point of uranium
(meltingPoint Uranium
    (MeasureFn 1405.5 KelvinDegree))
Mid-level-ontology.kif 31284-31284 1405.5 Kelvin degree(s) is a melting point of uranium
(names Uranium "Uranium") Mid-level-ontology.kif 30781-30781 "Uranium" has &ames$"name" Uranium
(roomTempState Uranium Solid) Mid-level-ontology.kif 33489-33489 room temperature state uranium and solid
(subclass Uranium ElementalSubstance) Mid-level-ontology.kif 30780-30780 Uranium is a subclass of elemental substance

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


(conventionalShortName "U" Uranium) Mid-level-ontology.kif 30782-30782 Uranium is a conventional short name of "U"
(termFormat ChineseLanguage Uranium "铀") domainEnglishFormat.kif 60680-60680 Uranium is a conventional short name of "U"
(termFormat ChineseTraditionalLanguage Uranium "鈾") domainEnglishFormat.kif 60679-60679 Uranium is a conventional short name of "U"
(termFormat EnglishLanguage Uranium "uranium") domainEnglishFormat.kif 60678-60678 Uranium is a conventional short name of "U"

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


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


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