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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(atomicNumber Zinc 30) Mid-level-ontology.kif 26029-26029 30 is an atomic number of zinc
(boilingPoint Zinc
    (MeasureFn 1180 KelvinDegree))
Mid-level-ontology.kif 27431-27431 1180 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 26036-26039
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/2/27/ Zinc-sample.jpg") pictureList.kif 2432-2432
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Zn-TableImage.png") pictureList.kif 2070-2070
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Zinc-sample.jpg/ 125px-Zinc-sample.jpg") pictureList.kif 1293-1293
(meltingPoint Zinc
    (MeasureFn 692.73 KelvinDegree))
Mid-level-ontology.kif 27430-27430 692.73 Kelvin degree(s) is a melting point of zinc
(names Zinc "Zinc") Mid-level-ontology.kif 26027-26027 "Zinc" has name zinc
(subclass Zinc ElementalSubstance) Mid-level-ontology.kif 26026-26026 Zinc is a subclass of elemental substance

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


(conventionalShortName "Zn" Zinc) Mid-level-ontology.kif 26028-26028 Zinc is a conventional short name of "Zn"
(termFormat ChineseLanguage Zinc "锌") domainEnglishFormat.kif 64109-64109
(termFormat ChineseTraditionalLanguage Zinc "鋅") domainEnglishFormat.kif 64108-64108
(termFormat EnglishLanguage Zinc "zinc") domainEnglishFormat.kif 64107-64107

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 8598-8605
(=>
    (instance ?ORE ZincOre)
    (exists (?METAL)
        (and
            (instance ?METAL Zinc)
            (component ?METAL ?ORE))))
Economy.kif 4562-4567


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