| Osmium(osmium)
| | Os, atomic_number_76, osmium |
| appearance as argument number 1 |
|
|
| (atomicNumber Osmium 76) | Mid-level-ontology.kif 29683-29683 | 76 is an atomic number of osmium |
| (boilingPoint Osmium (MeasureFn 5300.0 KelvinDegree)) |
Mid-level-ontology.kif 30447-30447 | 5300.0 Kelvin degree(s) is a boiling point of osmium |
| (documentation Osmium EnglishLanguage "Hard blue_white metallic transition element. Found with platinum and used in some alloys with platinum and iridium.") | Mid-level-ontology.kif 29691-29692 | 5300.0 Kelvin degree(s) is a boiling point of osmium |
| (externalImage Osmium "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Os_TableImage.png") | pictureList.kif 1882-1882 | 5300.0 Kelvin degree(s) is a boiling point of osmium |
| (meltingPoint Osmium (MeasureFn 3318.0 KelvinDegree)) |
Mid-level-ontology.kif 30446-30446 | 3318.0 Kelvin degree(s) is a melting point of osmium |
| (names Osmium "Osmium") | Mid-level-ontology.kif 29681-29681 | "Osmium" has name osmium |
| (roomTempState Osmium Solid) | Mid-level-ontology.kif 32649-32649 | roomTempState osmium and solid |
| (subclass Osmium ElementalSubstance) | Mid-level-ontology.kif 29680-29680 | Osmium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Os" Osmium) | Mid-level-ontology.kif 29682-29682 | Osmium is a conventional short name of "Os" |
| (termFormat ChineseLanguage Osmium "锇") | domainEnglishFormat.kif 42691-42691 | Osmium is a conventional short name of "Os" |
| (termFormat ChineseTraditionalLanguage Osmium "鋨") | domainEnglishFormat.kif 42690-42690 | Osmium is a conventional short name of "Os" |
| (termFormat EnglishLanguage Osmium "osmium") | domainEnglishFormat.kif 42689-42689 | Osmium is a conventional short name of "Os" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Osmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 190.2 Amu))) |
Mid-level-ontology.kif 29685-29689 |
|
|
|
|