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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Zirconium

Sigma KEE - Zirconium
Zirconium(鋯)

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


(atomicNumber Zirconium 40) Mid-level-ontology.kif 27925-27925 40 是 atomic 數字
(boilingPoint Zirconium
    (MeasureFn 4650.0 KelvinDegree))
Mid-level-ontology.kif 29260-29260 測量 4650.0 and 凱文度boiling
(documentation Zirconium EnglishLanguage "Grey-white metallic transition element. Five natural isotopes and six radioactive isotopes are known. Used in nuclear reactors for a {neutron} absorber. Discovered in 1789 by Martin Klaproth, isolated in 1824 by Berzelius.") Mid-level-ontology.kif 27933-27936
(externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Zr%2C40.jpg") pictureList.kif 2432-2432
(externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Zr-TableImage.png") pictureList.kif 2070-2070
(externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 49/ Zr%2C40.jpg/ 125px-Zr%2C40.jpg") pictureList.kif 1293-1293
(meltingPoint Zirconium
    (MeasureFn 2125.0 KelvinDegree))
Mid-level-ontology.kif 29259-29259 測量 2125.0 and 凱文度melting
(names Zirconium "Zirconium") Mid-level-ontology.kif 27923-27923 and "Zirconium"
(roomTempState Zirconium Solid) Mid-level-ontology.kif 31490-31490 roomTempState and 固體
(subclass Zirconium ElementalSubstance) Mid-level-ontology.kif 27922-27922 子類 and ElementalSubstance

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


(conventionalShortName "Zr" Zirconium) Mid-level-ontology.kif 27924-27924 是 "Zr" 的 conventional 簡稱
(termFormat ChineseLanguage Zirconium "锆") domainEnglishFormat.kif 64213-64213
(termFormat ChineseTraditionalLanguage Zirconium "鋯") domainEnglishFormat.kif 64212-64212
(termFormat EnglishLanguage Zirconium "zirconium") domainEnglishFormat.kif 64211-64211

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


(=>
    (and
        (instance ?ATOM Zirconium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 91.22 Amu)))
Mid-level-ontology.kif 27927-27931


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

Show without tree


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