Osmium |
appearance as argument number 1 |
(atomicNumber Osmium 76) | Mid-level-ontology.kif 28568-28568 | atomicNumber Osmium and 76 |
(boilingPoint Osmium (MeasureFn 5300.0 KelvinDegree)) |
Mid-level-ontology.kif 29332-29332 | boilingPoint Osmium and 5300.0 の KelvinDegree(s) |
(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 28576-28577 | |
(externalImage Osmium "http://upload.wikimedia.org/wikipedia/commons/c/c0/ Os-TableImage.png") | pictureList.kif 1883-1883 | |
(meltingPoint Osmium (MeasureFn 3318.0 KelvinDegree)) |
Mid-level-ontology.kif 29331-29331 | meltingPoint Osmium and 3318.0 の KelvinDegree(s) |
(names Osmium "Osmium") | Mid-level-ontology.kif 28566-28566 | "Osmium" は Osmium の name を 持って %n{ない} |
(roomTempState Osmium Solid) | Mid-level-ontology.kif 31526-31526 | roomTempState Osmium and Solid |
(subclass Osmium ElementalSubstance) | Mid-level-ontology.kif 28565-28565 | Osmium は 単体 の subclass では %n |
appearance as argument number 2 |
(conventionalShortName "Os" Osmium) | Mid-level-ontology.kif 28567-28567 | conventionalShortName "Os" and Osmium |
(termFormat ChineseLanguage Osmium "锇") | domainEnglishFormat.kif 42660-42660 | |
(termFormat ChineseTraditionalLanguage Osmium "鋨") | domainEnglishFormat.kif 42659-42659 | |
(termFormat EnglishLanguage Osmium "osmium") | domainEnglishFormat.kif 42658-42658 |
antecedent |
(=> (and (instance ?ATOM Osmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 190.2 Amu))) |
Mid-level-ontology.kif 28570-28574 |