| Uranium(uranium)
| | U, atomic_number_92, uranium |
| appearance as argument number 1 |
|
|
| (atomicNumber Uranium 92) | Mid-level-ontology.kif 29146-29146 | 92 is an atomic number of uranium |
| (boilingPoint Uranium (MeasureFn 4091.0 KelvinDegree)) |
Mid-level-ontology.kif 29648-29648 | 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 29154-29157 | 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 2053-2053 | 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 2419-2419 | 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 29647-29647 | 1405.5 Kelvin degree(s) is a melting point of uranium |
| (names Uranium "Uranium") | Mid-level-ontology.kif 29144-29144 | "Uranium" has name uranium |
| (roomTempState Uranium Solid) | Mid-level-ontology.kif 31807-31807 | roomTempState uranium and solid |
| (subclass Uranium ElementalSubstance) | Mid-level-ontology.kif 29143-29143 | Uranium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "U" Uranium) | Mid-level-ontology.kif 29145-29145 | Uranium is a conventional short name of "U" |
| (termFormat ChineseLanguage Uranium "铀") | domainEnglishFormat.kif 60734-60734 | Uranium is a conventional short name of "U" |
| (termFormat ChineseTraditionalLanguage Uranium "鈾") | domainEnglishFormat.kif 60733-60733 | Uranium is a conventional short name of "U" |
| (termFormat EnglishLanguage Uranium "uranium") | domainEnglishFormat.kif 60732-60732 | 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 29148-29152 |
|
|
|
|