Browsing Interface

[ Home |  Graph |  ] KB:  SUMO Language:  EnglishLanguage

KB Term:
English Word:		Noun Verb Adjective Adverb

Zinc(zinc)

Zn, atomic_number_30, zinc

 
 appearance as argument number 1

(atomicNumber Zinc 30)	elements.kif 492-492	&0$30 is an atomic number of zinc
(boilingPoint Zinc     (MeasureFn 1180 KelvinDegree))	elements.kif 1894-1894	1180 kelvin degree(s) is a boiling point of zinc
(conventionalShortName "Zn" Zinc)	elements.kif 491-491	zinc is a conventional short name of "Zn"
(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.")	elements.kif 499-502	%3
(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/2/27/ Zinc-sample.jpg"
(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/b/b1/ Zn-TableImage.png"
(externalImage Zinc "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Zinc-sample.jpg/ 125px-Zinc-sample.jpg")	pictureList.kif 1294-1294	externalImage zinc "http://upload.wikimedia.org/wikipedia/commons/thumb/ 2/ 27/ Zinc-sample.jpg/ 125px-Zinc-sample.jpg"
(meltingPoint Zinc     (MeasureFn 692.73 KelvinDegree))	elements.kif 1893-1893	692.73 kelvin degree(s) is a melting point of zinc
(names Zinc "Zinc")	elements.kif 490-490	"Zinc" %p(has) name zinc
(subclass Zinc ElementalSubstance)	elements.kif 489-489	zinc is a subclass of elemental substance

 
 appearance as argument number 2

(termFormat EnglishLanguage Zinc "zinc")

domainEnglishFormat.kif 10573-10573

term format english language zinc "zinc"

 antecedent

(=>     (and         (instance ?ATOM Zinc)         (instance ?ATOM Atom))     (measure ?ATOM         (MeasureFn 65.38 Amu)))

elements.kif 493-497

if an object is an instance of zinc and object is an instance of atom then the measure of object is 65.38 amu(s)

 consequent

(=>     (instance ?BRASS Brass)     (exists (?COPPER ?ZINC)         (and             (instance ?COPPER Copper)             (instance ?ZINC Zinc)             (part ?COPPER ?BRASS)             (part ?ZINC ?BRASS))))	Mid-level-ontology.kif 5985-5992	if an object is an instance of brass then there exist object and a object so that object is an instance of copper and object is an instance of zinc and object is a part of object and object is a part of object
(=>     (instance ?ORE ZincOre)     (exists (?METAL)         (and             (instance ?METAL Zinc)             (component ?METAL ?ORE))))	Economy.kif 4455-4460	if a corpuscular object is an instance of zinc ore then there exists corpuscular object so that corpuscular object is an instance of zinc and corpuscular object is a component of corpuscular object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home      SUMO web home
Sigma version 2.1b (2007/11/20) is open source software produced by Articulate Software and its partners