| Nickel(nickel)
| | Ni, atomic_number_28, nickel |
| appearance as argument number 1 |
|
|
| (atomicNumber Nickel 28) | Mid-level-ontology.kif 28011-28011 | 28 is an atomic number of nickel |
| (boilingPoint Nickel (MeasureFn 3005.0 KelvinDegree)) |
Mid-level-ontology.kif 29520-29520 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| (documentation Nickel EnglishLanguage "Malleable ductile silvery metallic transition element. Discovered by A.F. Cronstedt in 1751.") | Mid-level-ontology.kif 28019-28020 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| (externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/0/08/ Ni%2C28.jpg") | pictureList.kif 2266-2266 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| (externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/1/10/ Ni-TableImage.png") | pictureList.kif 1866-1866 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| (externalImage Nickel "http://upload.wikimedia.org/wikipedia/commons/thumb/ 0/ 08/ Ni%2C28.jpg/ 125px-Ni%2C28.jpg") | pictureList.kif 1197-1197 | 3005.0 Kelvin degree(s) is a boiling point of nickel |
| (meltingPoint Nickel (MeasureFn 1726.0 KelvinDegree)) |
Mid-level-ontology.kif 29519-29519 | 1726.0 Kelvin degree(s) is a melting point of nickel |
| (names Nickel "Nickel") | Mid-level-ontology.kif 28009-28009 | "Nickel" has name nickel |
| (roomTempState Nickel Solid) | Mid-level-ontology.kif 31743-31743 | roomTempState nickel and solid |
| (subclass Nickel ElementalSubstance) | Mid-level-ontology.kif 28008-28008 | Nickel is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ni" Nickel) | Mid-level-ontology.kif 28010-28010 | Nickel is a conventional short name of "Ni" |
| (termFormat ChineseLanguage Nickel "镍") | domainEnglishFormat.kif 40523-40523 | Nickel is a conventional short name of "Ni" |
| (termFormat ChineseTraditionalLanguage Nickel "鎳") | domainEnglishFormat.kif 40522-40522 | Nickel is a conventional short name of "Ni" |
| (termFormat EnglishLanguage Nickel "nickel") | domainEnglishFormat.kif 40521-40521 | Nickel is a conventional short name of "Ni" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Nickel) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 58.71 Amu))) |
Mid-level-ontology.kif 28013-28017 |
|
| consequent |
|
|
| (=> (instance ?ORE NickelOre) (exists (?METAL) (and (instance ?METAL Nickel) (component ?METAL ?ORE)))) |
Economy.kif 5657-5662 |
|
|
|
|