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 28862-28862 atomicNumber Uranium and 92
(boilingPoint Uranium
    (MeasureFn 4091.0 KelvinDegree))
Mid-level-ontology.kif 29364-29364 boilingPoint Uranium and 4091.0 の KelvinDegree(s)
(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 28870-28873
(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 29363-29363 meltingPoint Uranium and 1405.5 の KelvinDegree(s)
(names Uranium "Uranium") Mid-level-ontology.kif 28860-28860 "Uranium" は Uraniumname を 持って %n{ない}
(roomTempState Uranium Solid) Mid-level-ontology.kif 31542-31542 roomTempState Uranium and Solid
(subclass Uranium ElementalSubstance) Mid-level-ontology.kif 28859-28859 Uranium単体subclass では %n

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


(conventionalShortName "U" Uranium) Mid-level-ontology.kif 28861-28861 conventionalShortName "U" and Uranium
(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 28864-28868


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