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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Zirconium
Zirconium(鋯)

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


(atomicNumber Zirconium 40) Mid-level-ontology.kif 27913-27913 40 是 atomic 數字
(boilingPoint Zirconium
    (MeasureFn 4650.0 KelvinDegree))
Mid-level-ontology.kif 29248-29248 測量 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 27921-27924
(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 29247-29247 測量 2125.0 and 凱文度melting
(names Zirconium "Zirconium") Mid-level-ontology.kif 27911-27911 and "Zirconium"
(roomTempState Zirconium Solid) Mid-level-ontology.kif 31486-31486 roomTempState and 固體
(subclass Zirconium ElementalSubstance) Mid-level-ontology.kif 27910-27910 子類 and ElementalSubstance

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


(conventionalShortName "Zr" Zirconium) Mid-level-ontology.kif 27912-27912 是 "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 27915-27919


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