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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Zinc

Sigma KEE - Zinc
Zinc

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


(atomicNumber Zinc 30) Mid-level-ontology.kif 27757-27757 atomicNumber Zinc and 30
(boilingPoint Zinc
    (MeasureFn 1180.0 KelvinDegree))
Mid-level-ontology.kif 29240-29240 boilingPoint Zinc and 1180.0 KelvinDegree(s)
(documentation Zinc EnglishLanguage "Blue-white metallic element. Occurs in multiple compounds naturally. Five stable isotopes are six radioactive isotopes have been found. Chemically a reactive metal, combines with oxygen and other non-metals, reacts with dilute acids to release hydrogen.") Mid-level-ontology.kif 27765-27768
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/2/27/ Zinc-sample.jpg") pictureList.kif 2431-2431
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Zn-TableImage.png") pictureList.kif 2069-2069
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Zinc-sample.jpg/ 125px-Zinc-sample.jpg") pictureList.kif 1292-1292
(meltingPoint Zinc
    (MeasureFn 692.73 KelvinDegree))
Mid-level-ontology.kif 29239-29239 meltingPoint Zinc and 692.73 KelvinDegree(s)
(names Zinc "Zinc") Mid-level-ontology.kif 27755-27755 "Zinc" s'appele nom Zinc
(roomTempState Zinc Solid) Mid-level-ontology.kif 31480-31480 roomTempState Zinc and Solid
(subclass Zinc ElementalSubstance) Mid-level-ontology.kif 27754-27754 Zinc est une sous-classe de substance �l�mentaire

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


(conventionalShortName "Zn" Zinc) Mid-level-ontology.kif 27756-27756 conventionalShortName "Zn" and Zinc
(termFormat ChineseLanguage Zinc "锌") domainEnglishFormat.kif 64177-64177
(termFormat ChineseTraditionalLanguage Zinc "鋅") domainEnglishFormat.kif 64176-64176
(termFormat EnglishLanguage Zinc "zinc") domainEnglishFormat.kif 64175-64175

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


(=>
    (and
        (instance ?ATOM Zinc)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 65.38 Amu)))
Mid-level-ontology.kif 27759-27763

consequent
-------------------------


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8941-8948
(=>
    (instance ?ORE ZincOre)
    (exists (?METAL)
        (and
            (instance ?METAL Zinc)
            (component ?METAL ?ORE))))
Economy.kif 5677-5682


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