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 atomicNumber Zirconium and 40
(boilingPoint Zirconium
    (MeasureFn 4650.0 KelvinDegree))
Mid-level-ontology.kif 29311-29311 boilingPoint Zirconium and 4650.0 KelvinDegree(s)
(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 meltingPoint Zirconium and 2125.0 KelvinDegree(s)
(names Zirconium "Zirconium") Mid-level-ontology.kif 27974-27974 names Zirconium and "Zirconium"
(roomTempState Zirconium Solid) Mid-level-ontology.kif 31522-31522 roomTempState Zirconium and Solid
(subclass Zirconium ElementalSubstance) Mid-level-ontology.kif 27973-27973 Zirconium ist eine teilkategorie von ElementalSubstance

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


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