Osmium![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Osmium 76) | Mid-level-ontology.kif 30246-30246 | |
(boilingPoint Osmium (MeasureFn 5300.0 KelvinDegree)) |
Mid-level-ontology.kif 31010-31010 | |
(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 30254-30255 | |
(externalImage Osmium "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Os_TableImage.png") | pictureList.kif 1882-1882 | |
(meltingPoint Osmium (MeasureFn 3318.0 KelvinDegree)) |
Mid-level-ontology.kif 31009-31009 | |
(names Osmium "Osmium") | Mid-level-ontology.kif 30244-30244 | |
(roomTempState Osmium Solid) | Mid-level-ontology.kif 33230-33230 | |
(subclass Osmium ElementalSubstance) | Mid-level-ontology.kif 30243-30243 |
appearance as argument number 2 |
![]() |
(conventionalShortName "Os" Osmium) | Mid-level-ontology.kif 30245-30245 | |
(termFormat ChineseLanguage Osmium "锇") | domainEnglishFormat.kif 42691-42691 | |
(termFormat ChineseTraditionalLanguage Osmium "鋨") | domainEnglishFormat.kif 42690-42690 | |
(termFormat EnglishLanguage Osmium "osmium") | domainEnglishFormat.kif 42689-42689 |
antecedent |
![]() |
(=> (and (instance ?ATOM Osmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 190.2 Amu))) |
Mid-level-ontology.kif 30248-30252 |
![]() |
![]() |