| Dysprosium
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Dysprosium 66) | Mid-level-ontology.kif 30066-30066 | |
| (boilingPoint Dysprosium (MeasureFn 2608.0 KelvinDegree)) |
Mid-level-ontology.kif 30990-30990 | |
| (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 30074-30082 | |
| (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 30989-30989 | |
| (names Dysprosium "Dysprosium") | Mid-level-ontology.kif 30064-30064 | |
| (roomTempState Dysprosium Solid) | Mid-level-ontology.kif 33220-33220 | |
| (subclass Dysprosium ElementalSubstance) | Mid-level-ontology.kif 30063-30063 |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Dy" Dysprosium) | Mid-level-ontology.kif 30065-30065 | |
| (termFormat ChineseLanguage Dysprosium "镝") | domainEnglishFormat.kif 20787-20787 | |
| (termFormat ChineseTraditionalLanguage Dysprosium "鏑") | domainEnglishFormat.kif 20786-20786 | |
| (termFormat EnglishLanguage Dysprosium "dysprosium") | domainEnglishFormat.kif 20785-20785 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Dysprosium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 162.50 Amu))) |
Mid-level-ontology.kif 30068-30072 |
|
|
|