| Europium(铕)
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Europium 63) | Mid-level-ontology.kif 28340-28340 | 63 是 铕 的 atomic 数字 |
| (boilingPoint Europium (MeasureFn 1870.0 KelvinDegree)) |
Mid-level-ontology.kif 29306-29306 | 1870.0 凯文度 是 铕 的 boiling 点 |
| (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 28348-28351 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/6/ 6d/ Eu-TableImage.png") | pictureList.kif 1751-1751 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/d/ db/ Eu%2C63.jpg") | pictureList.kif 2164-2164 | |
| (externalImage Europium "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ db/ Eu%2C63.jpg/ 125px-Eu%2C63.jpg") | pictureList.kif 1103-1103 | |
| (meltingPoint Europium (MeasureFn 1095.0 KelvinDegree)) |
Mid-level-ontology.kif 29305-29305 | 1095.0 凯文度 是 铕 的 melting 点 |
| (names Europium "Europium") | Mid-level-ontology.kif 28338-28338 | "Europium" 的名 是 铕 |
| (roomTempState Europium Solid) | Mid-level-ontology.kif 31513-31513 | roomTempState 铕 and 固体 |
| (subclass Europium ElementalSubstance) | Mid-level-ontology.kif 28337-28337 | 铕 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Eu" Europium) | Mid-level-ontology.kif 28339-28339 | 铕 是 "Eu" 的 conventional 简称 |
| (termFormat ChineseLanguage Europium "铕") | domainEnglishFormat.kif 22606-22606 | |
| (termFormat ChineseTraditionalLanguage Europium "銪") | domainEnglishFormat.kif 22605-22605 | |
| (termFormat EnglishLanguage Europium "europium") | domainEnglishFormat.kif 22604-22604 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Europium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 151.25 Amu))) |
Mid-level-ontology.kif 28342-28346 |
|
|
|