| Erbium(erbium)
| | Er, atomic_number_68, erbium, 鉺, 铒 |
| appearance as argument number 1 |
|
|
| (atomicNumber Erbium 68) | Mid-level-ontology.kif 26631-26631 | 68 is an atomic number of erbium |
| (boilingPoint Erbium (MeasureFn 2783 KelvinDegree)) |
Mid-level-ontology.kif 27470-27470 | 2783 Kelvin degree(s) is a boiling point of erbium |
| (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 26638-26642 | |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/7/78/ Er%2C68.jpg") | pictureList.kif 2164-2164 | "http://upload.wikimedia.org/wikipedia/commons/7/78/ Er%2C68.jpg" is a URL depicting erbium |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Er-TableImage.png") | pictureList.kif 1751-1751 | "http://upload.wikimedia.org/wikipedia/commons/a/aa/ Er-TableImage.png" is a URL depicting erbium |
| (externalImage Erbium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Er%2C68.jpg/ 125px-Er%2C68.jpg") | pictureList.kif 1103-1103 | "http://upload.wikimedia.org/wikipedia/commons/thumb/ 7/ 78/ Er%2C68.jpg/ 125px-Er%2C68.jpg" is a URL depicting erbium |
| (meltingPoint Erbium (MeasureFn 1795 KelvinDegree)) |
Mid-level-ontology.kif 27469-27469 | 1795 Kelvin degree(s) is a melting point of erbium |
| (names Erbium "Erbium") | Mid-level-ontology.kif 26629-26629 | "Erbium" has name erbium |
| (subclass Erbium ElementalSubstance) | Mid-level-ontology.kif 26628-26628 | Erbium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Er" Erbium) | Mid-level-ontology.kif 26630-26630 | Erbium is a conventional short name of "Er" |
| (termFormat ChineseLanguage Erbium "铒") | domainEnglishFormat.kif 22309-22309 | "铒" is the printable form of erbium in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage Erbium "鉺") | domainEnglishFormat.kif 22308-22308 | "鉺" is the printable form of erbium in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage Erbium "erbium") | domainEnglishFormat.kif 22307-22307 | "erbium" is the printable form of erbium in english language |
| antecedent |
|
|
| (=> (and (instance ?ATOM Erbium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 26632-26636 |
|
|
|
|