| Hafnium(hafnium)
| | Hf, atomic_number_72, hafnium |
| appearance as argument number 1 |
|
|
| (atomicNumber Hafnium 72) | Mid-level-ontology.kif 29619-29619 | 72 is an atomic number of hafnium |
| (boilingPoint Hafnium (MeasureFn 5673.0 KelvinDegree)) |
Mid-level-ontology.kif 30439-30439 | 5673.0 Kelvin degree(s) is a boiling point of hafnium |
| (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 29627-29630 | 5673.0 Kelvin degree(s) is a boiling point of hafnium |
| (externalImage Hafnium "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Hf_TableImage.png") | pictureList.kif 1796-1796 | 5673.0 Kelvin degree(s) is a boiling point of hafnium |
| (meltingPoint Hafnium (MeasureFn 2423.0 KelvinDegree)) |
Mid-level-ontology.kif 30438-30438 | 2423.0 Kelvin degree(s) is a melting point of hafnium |
| (names Hafnium "Hafnium") | Mid-level-ontology.kif 29617-29617 | "Hafnium" has name hafnium |
| (roomTempState Hafnium Solid) | Mid-level-ontology.kif 32645-32645 | roomTempState hafnium and solid |
| (subclass Hafnium ElementalSubstance) | Mid-level-ontology.kif 29616-29616 | Hafnium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Hf" Hafnium) | Mid-level-ontology.kif 29618-29618 | Hafnium is a conventional short name of "Hf" |
| (termFormat ChineseLanguage Hafnium "铪") | domainEnglishFormat.kif 27208-27208 | Hafnium is a conventional short name of "Hf" |
| (termFormat ChineseTraditionalLanguage Hafnium "鉿") | domainEnglishFormat.kif 27207-27207 | Hafnium is a conventional short name of "Hf" |
| (termFormat EnglishLanguage Hafnium "hafnium") | domainEnglishFormat.kif 27206-27206 | Hafnium is a conventional short name of "Hf" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Hafnium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 178.49 Amu))) |
Mid-level-ontology.kif 29621-29625 |
|
|
|
|