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 |
|
![]() |
![]() |