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 29676-29676 30 is an atomic number of zinc
(boilingPoint Zinc
    (MeasureFn 1180.0 KelvinDegree))
Mid-level-ontology.kif 31159-31159 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 29684-29687 1180.0 Kelvin degree(s) is a boiling point of zinc
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/2/27/ Zinc_sample.jpg") pictureList.kif 2430-2430 1180.0 Kelvin degree(s) is a boiling point of zinc
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/b/b1/ Zn_TableImage.png") pictureList.kif 2068-2068 1180.0 Kelvin degree(s) is a boiling point of zinc
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Zinc_sample.jpg/ 125px_Zinc_sample.jpg") pictureList.kif 1292-1292 1180.0 Kelvin degree(s) is a boiling point of zinc
(meltingPoint Zinc
    (MeasureFn 692.73 KelvinDegree))
Mid-level-ontology.kif 31158-31158 692.73 Kelvin degree(s) is a melting point of zinc
(names Zinc "Zinc") Mid-level-ontology.kif 29674-29674 "Zinc" has &ames$"name" Zinc
(roomTempState Zinc Solid) Mid-level-ontology.kif 33425-33425 room temperature state zinc and solid
(subclass Zinc ElementalSubstance) Mid-level-ontology.kif 29673-29673 Zinc is a subclass of elemental substance

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


(conventionalShortName "Zn" Zinc) Mid-level-ontology.kif 29675-29675 Zinc is a conventional short name of "Zn"
(termFormat ChineseLanguage Zinc "锌") domainEnglishFormat.kif 64171-64171 Zinc is a conventional short name of "Zn"
(termFormat ChineseTraditionalLanguage Zinc "鋅") domainEnglishFormat.kif 64170-64170 Zinc is a conventional short name of "Zn"
(termFormat EnglishLanguage Zinc "zinc") domainEnglishFormat.kif 64169-64169 Zinc is a conventional short name of "Zn"

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


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

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


(=>
    (instance ?BRASS Brass)
    (exists (?COPPER ?ZINC)
        (and
            (instance ?COPPER Copper)
            (instance ?ZINC Zinc)
            (part ?COPPER ?BRASS)
            (part ?ZINC ?BRASS))))
Mid-level-ontology.kif 10147-10154
(=>
    (instance ?ORE ZincOre)
    (exists (?METAL)
        (and
            (instance ?METAL Zinc)
            (component ?METAL ?ORE))))
Economy.kif 6019-6024


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