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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Uranium
Uranium

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


(atomicNumber Uranium 92) Mid-level-ontology.kif 29806-29806
(boilingPoint Uranium
    (MeasureFn 4091.0 KelvinDegree))
Mid-level-ontology.kif 30308-30308
(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 29814-29817
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/9/ 92/ U_TableImage.png") pictureList.kif 2052-2052
(externalImage Uranium "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ HEUraniumC.jpg") pictureList.kif 2418-2418
(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 30307-30307
(names Uranium "Uranium") Mid-level-ontology.kif 29804-29804
(roomTempState Uranium Solid) Mid-level-ontology.kif 32494-32494
(subclass Uranium ElementalSubstance) Mid-level-ontology.kif 29803-29803

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


(conventionalShortName "U" Uranium) Mid-level-ontology.kif 29805-29805
(termFormat ChineseLanguage Uranium "铀") domainEnglishFormat.kif 60709-60709
(termFormat ChineseTraditionalLanguage Uranium "鈾") domainEnglishFormat.kif 60708-60708
(termFormat EnglishLanguage Uranium "uranium") domainEnglishFormat.kif 60707-60707

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


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


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