Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Hafnium
Hafnium

appearance as argument number 1
-------------------------


(atomicNumber Hafnium 72) Mid-level-ontology.kif 28504-28504 atomicNumber Hafnium and 72
(boilingPoint Hafnium
    (MeasureFn 5673.0 KelvinDegree))
Mid-level-ontology.kif 29324-29324 boilingPoint Hafnium and 5673.0 KelvinDegree(s)
(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 28512-28515
(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 29323-29323 meltingPoint Hafnium and 2423.0 KelvinDegree(s)
(names Hafnium "Hafnium") Mid-level-ontology.kif 28502-28502 "Hafnium" s'appele nom Hafnium
(roomTempState Hafnium Solid) Mid-level-ontology.kif 31522-31522 roomTempState Hafnium and Solid
(subclass Hafnium ElementalSubstance) Mid-level-ontology.kif 28501-28501 Hafnium est une sous-classe de substance �l�mentaire

appearance as argument number 2
-------------------------


(conventionalShortName "Hf" Hafnium) Mid-level-ontology.kif 28503-28503 conventionalShortName "Hf" and Hafnium
(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 28506-28510


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners