| Zinc(zinc)
| | Zn, atomic_number_30, zinc |
| appearance as argument number 1 |
|
|
| (atomicNumber Zinc 30) | Mid-level-ontology.kif 28872-28872 | 30 is an atomic number of zinc |
| (boilingPoint Zinc (MeasureFn 1180.0 KelvinDegree)) |
Mid-level-ontology.kif 30355-30355 | 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 28880-28883 | 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 30354-30354 | 692.73 Kelvin degree(s) is a melting point of zinc |
| (names Zinc "Zinc") | Mid-level-ontology.kif 28870-28870 | "Zinc" has name zinc |
| (roomTempState Zinc Solid) | Mid-level-ontology.kif 32603-32603 | roomTempState zinc and solid |
| (subclass Zinc ElementalSubstance) | Mid-level-ontology.kif 28869-28869 | Zinc is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Zn" Zinc) | Mid-level-ontology.kif 28871-28871 | Zinc is a conventional short name of "Zn" |
| (termFormat ChineseLanguage Zinc "锌") | domainEnglishFormat.kif 64200-64200 | Zinc is a conventional short name of "Zn" |
| (termFormat ChineseTraditionalLanguage Zinc "鋅") | domainEnglishFormat.kif 64199-64199 | Zinc is a conventional short name of "Zn" |
| (termFormat EnglishLanguage Zinc "zinc") | domainEnglishFormat.kif 64198-64198 | 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 28874-28878 |
|
| consequent |
|
|
| (=> (instance ?BRASS Brass) (exists (?COPPER ?ZINC) (and (instance ?COPPER Copper) (instance ?ZINC Zinc) (part ?COPPER ?BRASS) (part ?ZINC ?BRASS)))) |
Mid-level-ontology.kif 9714-9721 |
|
| (=> (instance ?ORE ZincOre) (exists (?METAL) (and (instance ?METAL Zinc) (component ?METAL ?ORE)))) |
Economy.kif 5887-5892 |
|
|
|
|