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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Milk

Sigma KEE - Zirconium
Zirconium(鋯)

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


(atomicNumber Zirconium 40) Mid-level-ontology.kif 27976-27976 40 是 atomic 數字
(boilingPoint Zirconium
    (MeasureFn 4650.0 KelvinDegree))
Mid-level-ontology.kif 29311-29311 測量 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 27984-27987
(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 29310-29310 測量 2125.0 and 凱文度melting
(names Zirconium "Zirconium") Mid-level-ontology.kif 27974-27974 and "Zirconium"
(roomTempState Zirconium Solid) Mid-level-ontology.kif 31522-31522 roomTempState and 固體
(subclass Zirconium ElementalSubstance) Mid-level-ontology.kif 27973-27973 子類 and ElementalSubstance

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


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

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


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


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