Europium![]() ![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Europium 63) | Mid-level-ontology.kif 30259-30259 | atomicNumber Europium and 63 |
(boilingPoint Europium (MeasureFn 1870.0 KelvinDegree)) |
Mid-level-ontology.kif 31225-31225 | boilingPoint Europium and 1870.0 の KelvinDegree(s) |
(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 30267-30270 | boilingPoint Europium and 1870.0 の KelvinDegree(s) |
(externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Eu_TableImage.png") | pictureList.kif 1750-1750 | boilingPoint Europium and 1870.0 の KelvinDegree(s) |
(externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/d/ db/ Eu%2C63.jpg") | pictureList.kif 2163-2163 | boilingPoint Europium and 1870.0 の KelvinDegree(s) |
(externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ db/ Eu%2C63.jpg/ 125px_Eu%2C63.jpg") | pictureList.kif 1103-1103 | boilingPoint Europium and 1870.0 の KelvinDegree(s) |
(meltingPoint Europium (MeasureFn 1095.0 KelvinDegree)) |
Mid-level-ontology.kif 31224-31224 | meltingPoint Europium and 1095.0 の KelvinDegree(s) |
(names Europium "Europium") | Mid-level-ontology.kif 30257-30257 | "Europium" は Europium の &ames$"name" を 持って |
(roomTempState Europium Solid) | Mid-level-ontology.kif 33458-33458 | roomTempState Europium and Solid |
(subclass Europium ElementalSubstance) | Mid-level-ontology.kif 30256-30256 | Europium は 単体 の subclass では |
appearance as argument number 2 |
![]() |
(conventionalShortName "Eu" Europium) | Mid-level-ontology.kif 30258-30258 | conventionalShortName "Eu" and Europium |
(termFormat ChineseLanguage Europium "铕") | domainEnglishFormat.kif 22612-22612 | conventionalShortName "Eu" and Europium |
(termFormat ChineseTraditionalLanguage Europium "銪") | domainEnglishFormat.kif 22611-22611 | conventionalShortName "Eu" and Europium |
(termFormat EnglishLanguage Europium "europium") | domainEnglishFormat.kif 22610-22610 | conventionalShortName "Eu" and Europium |
antecedent |
![]() |
(=> (and (instance ?ATOM Europium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 151.25 Amu))) |
Mid-level-ontology.kif 30261-30265 |
![]() |
![]() |