| Europium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Europium 63) | Mid-level-ontology.kif 26546-26546 | atomicNumber Europium and 63 |
| (boilingPoint Europium (MeasureFn 1870 KelvinDegree)) |
Mid-level-ontology.kif 27464-27464 | boilingPoint Europium and MeasureFn 1870 and KelvinDegree |
| (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 26553-26556 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Eu-TableImage.png") | pictureList.kif 1752-1752 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/d/ db/ Eu%2C63.jpg") | pictureList.kif 2165-2165 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ db/ Eu%2C63.jpg/ 125px-Eu%2C63.jpg") | pictureList.kif 1104-1104 | |
| (meltingPoint Europium (MeasureFn 1095 KelvinDegree)) |
Mid-level-ontology.kif 27463-27463 | meltingPoint Europium and MeasureFn 1095 and KelvinDegree |
| (names Europium "Europium") | Mid-level-ontology.kif 26544-26544 | names Europium and "Europium" |
| (subclass Europium ElementalSubstance) | Mid-level-ontology.kif 26543-26543 | subclass Europium and ElementalSubstance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Eu" Europium) | Mid-level-ontology.kif 26545-26545 | conventionalShortName "Eu" and Europium |
| (termFormat ChineseLanguage Europium "铕") | domainEnglishFormat.kif 22531-22531 | |
| (termFormat ChineseTraditionalLanguage Europium "銪") | domainEnglishFormat.kif 22530-22530 | |
| (termFormat EnglishLanguage Europium "europium") | domainEnglishFormat.kif 22529-22529 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Europium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 151.25 Amu))) |
Mid-level-ontology.kif 26547-26551 |
|
|
|