| Zirconium(zirconium)
| | Zr, atomic_number_40, zirconium |
| appearance as argument number 1 |
|
|
| (atomicNumber Zirconium 40) | Mid-level-ontology.kif 28209-28209 | 40 is an atomic number of zirconium |
| (boilingPoint Zirconium (MeasureFn 4650.0 KelvinDegree)) |
Mid-level-ontology.kif 29544-29544 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| (documentation Zirconium EnglishLanguage "Grey-white metallic transition element. Five natural isotopes and six radioactive isotopes are known. Used in nuclear reactors for a {neutron} absorber. Discovered in 1789 by Martin Klaproth, isolated in 1824 by Berzelius.") | Mid-level-ontology.kif 28217-28220 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| (externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 49/ Zr%2C40.jpg") | pictureList.kif 2432-2432 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| (externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ d/ d2/ Zr-TableImage.png") | pictureList.kif 2070-2070 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| (externalImage Zirconium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 49/ Zr%2C40.jpg/ 125px-Zr%2C40.jpg") | pictureList.kif 1293-1293 | 4650.0 Kelvin degree(s) is a boiling point of zirconium |
| (meltingPoint Zirconium (MeasureFn 2125.0 KelvinDegree)) |
Mid-level-ontology.kif 29543-29543 | 2125.0 Kelvin degree(s) is a melting point of zirconium |
| (names Zirconium "Zirconium") | Mid-level-ontology.kif 28207-28207 | "Zirconium" has name zirconium |
| (roomTempState Zirconium Solid) | Mid-level-ontology.kif 31755-31755 | roomTempState zirconium and solid |
| (subclass Zirconium ElementalSubstance) | Mid-level-ontology.kif 28206-28206 | Zirconium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Zr" Zirconium) | Mid-level-ontology.kif 28208-28208 | Zirconium is a conventional short name of "Zr" |
| (termFormat ChineseLanguage Zirconium "锆") | domainEnglishFormat.kif 64261-64261 | Zirconium is a conventional short name of "Zr" |
| (termFormat ChineseTraditionalLanguage Zirconium "鋯") | domainEnglishFormat.kif 64260-64260 | Zirconium is a conventional short name of "Zr" |
| (termFormat EnglishLanguage Zirconium "zirconium") | domainEnglishFormat.kif 64259-64259 | Zirconium is a conventional short name of "Zr" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Zirconium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 91.22 Amu))) |
Mid-level-ontology.kif 28211-28215 |
|
|
|
|