| Holmium(holmium)
| | Ho, atomic_number_67, holmium |
| appearance as argument number 1 |
|
|
| (atomicNumber Holmium 67) | Mid-level-ontology.kif 29524-29524 | 67 is an atomic number of holmium |
| (boilingPoint Holmium (MeasureFn 2993.0 KelvinDegree)) |
Mid-level-ontology.kif 30429-30429 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (documentation Holmium EnglishLanguage "Relatively soft and malleable silvery_white metallic element, which is stable in dry air at room temperature. It oxidizes in moist air and at high temperatures. It belongs to the lanthanoids. A rare_earth metal, it is found in the minerals monazite and gadolinite. It possesses unusual magnetic properties. One natural isotope, Ho-165 exists, six radioisotopes exist, the most stable being Ho-163 with a half_life of 4570 years. Holmium is used in some metal alloys, it is also said to stimulate the metabolism. Discovered by Per Theodor Cleve and J.L. Soret in Switzerland in 1879. The name homium comes from the Greek word Holmia which means Sweden. While all holmium compounds should be considered highly toxic, initial evidence seems to indicate that they do not pose much danger. The metal's dust however, is a fire hazard.") | Mid-level-ontology.kif 29532-29544 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/6/ 6c/ Ho%2C67.jpg") | pictureList.kif 2215-2215 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/c/ ce/ Ho_TableImage.png") | pictureList.kif 1804-1804 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (externalImage Holmium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 6/ 6c/ Ho%2C67.jpg/ 125px_Ho%2C67.jpg") | pictureList.kif 1138-1138 | 2993.0 Kelvin degree(s) is a boiling point of holmium |
| (meltingPoint Holmium (MeasureFn 1743.0 KelvinDegree)) |
Mid-level-ontology.kif 30428-30428 | 1743.0 Kelvin degree(s) is a melting point of holmium |
| (names Holmium "Holmium") | Mid-level-ontology.kif 29522-29522 | "Holmium" has name holmium |
| (roomTempState Holmium Solid) | Mid-level-ontology.kif 32640-32640 | roomTempState holmium and solid |
| (subclass Holmium ElementalSubstance) | Mid-level-ontology.kif 29521-29521 | Holmium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ho" Holmium) | Mid-level-ontology.kif 29523-29523 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseLanguage Holmium "钬") | domainEnglishFormat.kif 28429-28429 | Holmium is a conventional short name of "Ho" |
| (termFormat ChineseTraditionalLanguage Holmium "钬") | domainEnglishFormat.kif 28428-28428 | Holmium is a conventional short name of "Ho" |
| (termFormat EnglishLanguage Holmium "holmium") | domainEnglishFormat.kif 28427-28427 | Holmium is a conventional short name of "Ho" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Holmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 167.26 Amu))) |
Mid-level-ontology.kif 29526-29530 |
|
|
|
|