Hafnium
|
|
appearance as argument number 1 |
(atomicNumber Hafnium 72) | Mid-level-ontology.kif 28555-28555 | |
(boilingPoint Hafnium (MeasureFn 5673.0 KelvinDegree)) |
Mid-level-ontology.kif 29375-29375 | |
(documentation Hafnium EnglishLanguage "Silvery lustrous metallic transition element. Used in tungsten alloys in filaments and electrodes, also acts as a neutron absorber. First reported by Urbain in 1911, existence was finally established in 1923 by D. Coster, G.C. de Hevesy in 1923.") | Mid-level-ontology.kif 28563-28566 | |
(externalImage Hafnium "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Hf-TableImage.png") | pictureList.kif 1797-1797 | |
(meltingPoint Hafnium (MeasureFn 2423.0 KelvinDegree)) |
Mid-level-ontology.kif 29374-29374 | |
(names Hafnium "Hafnium") | Mid-level-ontology.kif 28553-28553 | |
(roomTempState Hafnium Solid) | Mid-level-ontology.kif 31554-31554 | |
(subclass Hafnium ElementalSubstance) | Mid-level-ontology.kif 28552-28552 |
appearance as argument number 2 |
(conventionalShortName "Hf" Hafnium) | Mid-level-ontology.kif 28554-28554 | |
(termFormat ChineseLanguage Hafnium "铪") | domainEnglishFormat.kif 27180-27180 | |
(termFormat ChineseTraditionalLanguage Hafnium "鉿") | domainEnglishFormat.kif 27179-27179 | |
(termFormat EnglishLanguage Hafnium "hafnium") | domainEnglishFormat.kif 27178-27178 |
antecedent |
(=> (and (instance ?ATOM Hafnium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 178.49 Amu))) |
Mid-level-ontology.kif 28557-28561 |