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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Zinc

Sigma KEE - Zinc
Zinc(zinc)
Zn, atomic_number_30, zinc

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


(atomicNumber Zinc 30) Mid-level-ontology.kif 27757-27757 30 is an atomic number of zinc
(boilingPoint Zinc
    (MeasureFn 1180.0 KelvinDegree))
Mid-level-ontology.kif 29240-29240 1180.0 Kelvin degree(s) is a boiling point of zinc
(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 692.73 Kelvin degree(s) is a melting point of zinc
(names Zinc "Zinc") Mid-level-ontology.kif 27755-27755 "Zinc" has name zinc
(roomTempState Zinc Solid) Mid-level-ontology.kif 31480-31480 roomTempState zinc and solid
(subclass Zinc ElementalSubstance) Mid-level-ontology.kif 27754-27754 Zinc is a subclass of elemental substance

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


(conventionalShortName "Zn" Zinc) Mid-level-ontology.kif 27756-27756 Zinc is a conventional short name of "Zn"
(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