| Europium(europium)
| | Eu, atomic_number_63, europium |
| appearance as argument number 1 |
|
|
| (atomicNumber Europium 63) | Mid-level-ontology.kif 29455-29455 | 63 is an atomic number of europium |
| (boilingPoint Europium (MeasureFn 1870.0 KelvinDegree)) |
Mid-level-ontology.kif 30421-30421 | 1870.0 Kelvin degree(s) is a boiling point of europium |
| (documentation Europium EnglishLanguage "Soft silvery metallic element belonging to the lanthanoids. Eu-151 and Eu-153 are the only two stable isotopes, both of which are {neutron} absorbers. Discovered in 1889 by Sir William Crookes.") | Mid-level-ontology.kif 29463-29466 | 1870.0 Kelvin degree(s) is a boiling point of europium |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Eu_TableImage.png") | pictureList.kif 1750-1750 | 1870.0 Kelvin degree(s) is a boiling point of europium |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/d/ db/ Eu%2C63.jpg") | pictureList.kif 2163-2163 | 1870.0 Kelvin degree(s) is a boiling point of europium |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ db/ Eu%2C63.jpg/ 125px_Eu%2C63.jpg") | pictureList.kif 1103-1103 | 1870.0 Kelvin degree(s) is a boiling point of europium |
| (meltingPoint Europium (MeasureFn 1095.0 KelvinDegree)) |
Mid-level-ontology.kif 30420-30420 | 1095.0 Kelvin degree(s) is a melting point of europium |
| (names Europium "Europium") | Mid-level-ontology.kif 29453-29453 | "Europium" has name europium |
| (roomTempState Europium Solid) | Mid-level-ontology.kif 32636-32636 | roomTempState europium and solid |
| (subclass Europium ElementalSubstance) | Mid-level-ontology.kif 29452-29452 | Europium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Eu" Europium) | Mid-level-ontology.kif 29454-29454 | Europium is a conventional short name of "Eu" |
| (termFormat ChineseLanguage Europium "铕") | domainEnglishFormat.kif 22618-22618 | Europium is a conventional short name of "Eu" |
| (termFormat ChineseTraditionalLanguage Europium "銪") | domainEnglishFormat.kif 22617-22617 | Europium is a conventional short name of "Eu" |
| (termFormat EnglishLanguage Europium "europium") | domainEnglishFormat.kif 22616-22616 | Europium is a conventional short name of "Eu" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Europium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 151.25 Amu))) |
Mid-level-ontology.kif 29457-29461 |
|
|
|
|