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 72 是 atomic 數字
(boilingPoint Hafnium
    (MeasureFn 5673.0 KelvinDegree))
Mid-level-ontology.kif 29324-29324 測量 5673.0 and 凱文度boiling
(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 測量 2423.0 and 凱文度melting
(names Hafnium "Hafnium") Mid-level-ontology.kif 28502-28502 and "Hafnium"
(roomTempState Hafnium Solid) Mid-level-ontology.kif 31522-31522 roomTempState and 固體
(subclass Hafnium ElementalSubstance) Mid-level-ontology.kif 28501-28501 子類 and ElementalSubstance

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


(conventionalShortName "Hf" Hafnium) Mid-level-ontology.kif 28503-28503 是 "Hf" 的 conventional 簡稱
(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