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 28820-28820
(boilingPoint Hafnium
    (MeasureFn 5673.0 KelvinDegree))
Mid-level-ontology.kif 29640-29640
(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 28828-28831
(externalImage Hafnium "http://upload.wikimedia.org/wikipedia/commons/0/ 06/ Hf-TableImage.png") pictureList.kif 1796-1796
(meltingPoint Hafnium
    (MeasureFn 2423.0 KelvinDegree))
Mid-level-ontology.kif 29639-29639
(names Hafnium "Hafnium") Mid-level-ontology.kif 28818-28818
(roomTempState Hafnium Solid) Mid-level-ontology.kif 31819-31819
(subclass Hafnium ElementalSubstance) Mid-level-ontology.kif 28817-28817

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


(conventionalShortName "Hf" Hafnium) Mid-level-ontology.kif 28819-28819
(termFormat ChineseLanguage Hafnium "铪") domainEnglishFormat.kif 27209-27209
(termFormat ChineseTraditionalLanguage Hafnium "鉿") domainEnglishFormat.kif 27208-27208
(termFormat EnglishLanguage Hafnium "hafnium") domainEnglishFormat.kif 27207-27207

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Hafnium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 178.49 Amu)))
Mid-level-ontology.kif 28822-28826


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