Zinc
|
|
appearance as argument number 1 |
(atomicNumber Zinc 30) | Mid-level-ontology.kif 27808-27808 | atomicNumber Zinc and 30 |
(boilingPoint Zinc (MeasureFn 1180.0 KelvinDegree)) |
Mid-level-ontology.kif 29291-29291 | 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 27816-27819 | |
(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 29290-29290 | meltingPoint Zinc and 692.73 KelvinDegree(s |
(names Zinc "Zinc") | Mid-level-ontology.kif 27806-27806 | names Zinc and "Zinc" |
(roomTempState Zinc Solid) | Mid-level-ontology.kif 31512-31512 | roomTempState Zinc and Solid |
(subclass Zinc ElementalSubstance) | Mid-level-ontology.kif 27805-27805 | Zinc è una sottoclasse di SostanzaElementare |
appearance as argument number 2 |
(conventionalShortName "Zn" Zinc) | Mid-level-ontology.kif 27807-27807 | conventionalShortName "Zn" and Zinc |
(termFormat ChineseLanguage Zinc "锌") | domainEnglishFormat.kif 64179-64179 | |
(termFormat ChineseTraditionalLanguage Zinc "鋅") | domainEnglishFormat.kif 64178-64178 | |
(termFormat EnglishLanguage Zinc "zinc") | domainEnglishFormat.kif 64177-64177 |
antecedent |
(=> (and (instance ?ATOM Zinc) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 65.38 Amu))) |
Mid-level-ontology.kif 27810-27814 |
|
consequent |
(=> (instance ?BRASS Brass) (exists (?COPPER ?ZINC) (and (instance ?COPPER Copper) (instance ?ZINC Zinc) (part ?COPPER ?BRASS) (part ?ZINC ?BRASS)))) |
Mid-level-ontology.kif 8968-8975 | |
(=> (instance ?ORE ZincOre) (exists (?METAL) (and (instance ?METAL Zinc) (component ?METAL ?ORE)))) |
Economy.kif 5677-5682 |
|