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 27976-27976
(boilingPoint Zirconium
    (MeasureFn 4650.0 KelvinDegree))
Mid-level-ontology.kif 29311-29311
(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
(names Zirconium "Zirconium") Mid-level-ontology.kif 27974-27974
(roomTempState Zirconium Solid) Mid-level-ontology.kif 31522-31522
(subclass Zirconium ElementalSubstance) Mid-level-ontology.kif 27973-27973

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


(conventionalShortName "Zr" Zirconium) Mid-level-ontology.kif 27975-27975
(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 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