| Erbium(铒)
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Erbium 68) | Mid-level-ontology.kif 28434-28434 | 68 是 铒 的 atomic 数字 |
| (boilingPoint Erbium (MeasureFn 2783.0 KelvinDegree)) |
Mid-level-ontology.kif 29316-29316 | 2783.0 凯文度 是 铒 的 boiling 点 |
| (documentation Erbium EnglishLanguage "Soft silvery metallic element which belongs to the lanthanoids. Six natural isotopes that are stable. Twelve artificial isotopes are known. Used in nuclear technology as a neutron absorber. It is being investigated for other possible uses. Discovered by Carl G. Mosander in 1843.") | Mid-level-ontology.kif 28442-28446 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/7/78/ Er%2C68.jpg") | pictureList.kif 2163-2163 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Er-TableImage.png") | pictureList.kif 1750-1750 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Er%2C68.jpg/ 125px-Er%2C68.jpg") | pictureList.kif 1102-1102 | |
| (meltingPoint Erbium (MeasureFn 1795.0 KelvinDegree)) |
Mid-level-ontology.kif 29315-29315 | 1795.0 凯文度 是 铒 的 melting 点 |
| (names Erbium "Erbium") | Mid-level-ontology.kif 28432-28432 | "Erbium" 的名 是 铒 |
| (roomTempState Erbium Solid) | Mid-level-ontology.kif 31518-31518 | roomTempState 铒 and 固体 |
| (subclass Erbium ElementalSubstance) | Mid-level-ontology.kif 28431-28431 | 铒 是 元素物质 的 subclass |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Er" Erbium) | Mid-level-ontology.kif 28433-28433 | 铒 是 "Er" 的 conventional 简称 |
| (termFormat ChineseLanguage Erbium "铒") | domainEnglishFormat.kif 22378-22378 | |
| (termFormat ChineseTraditionalLanguage Erbium "鉺") | domainEnglishFormat.kif 22377-22377 | |
| (termFormat EnglishLanguage Erbium "erbium") | domainEnglishFormat.kif 22376-22376 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Erbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 28436-28440 |
|
|
|