| Dysprosium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 28672-28672 | |
| (boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree)) |
Mid-level-ontology.kif 29596-29596 | |
| (documentation Dysprosium EnglishLanguage "Metallic with a bright silvery-white lustre. Dysprosium belongs to the lanthanoids. It is relatively stable in air at room temperatures, it will however dissolve in mineral acids, evolving hydrogen. It is found in from rare-earth minerals. There are seven natural isotopes of dysprosium, and eight radioisotopes, Dy-154 being the most stable with a half-life of 3*10^6 years. Dysprosium is used as a neutron absorber in nuclear fission reactions, and in compact disks. It was discovered by Paul Emile Lecoq de Boisbaudran in 1886 in France. Its name comes from the Greek word dysprositos, which means hard to obtain.") | Mid-level-ontology.kif 28680-28688 | |
| (externalImage Dysprosium "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Dy%2C66.jpg") | pictureList.kif 2153-2153 | |
| (externalImage Dysprosium "http://upload.wikimedia.org/wikipedia/commons/ d/ dd/ Dy-TableImage.png") | pictureList.kif 1737-1737 | |
| (externalImage Dysprosium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 1/ 17/ Dy%2C66.jpg/ 125px-Dy%2C66.jpg") | pictureList.kif 1095-1095 | |
| (meltingPoint Dysprosium (MeasureFn 1682.0 KelvinDegree)) |
Mid-level-ontology.kif 29595-29595 | |
| (names Dysprosium "Dysprosium") | Mid-level-ontology.kif 28670-28670 | |
| (roomTempState Dysprosium Solid) | Mid-level-ontology.kif 31781-31781 | |
| (subclass Dysprosium ElementalSubstance) | Mid-level-ontology.kif 28669-28669 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Dy" Dysprosium) | Mid-level-ontology.kif 28671-28671 | |
| (termFormat ChineseLanguage Dysprosium "镝") | domainEnglishFormat.kif 20783-20783 | |
| (termFormat ChineseTraditionalLanguage Dysprosium "鏑") | domainEnglishFormat.kif 20782-20782 | |
| (termFormat EnglishLanguage Dysprosium "dysprosium") | domainEnglishFormat.kif 20781-20781 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 28674-28678 |
|
|
|