Osmium(锇) |
appearance as argument number 1 |
(atomicNumber Osmium 76) | Mid-level-ontology.kif 28619-28619 | 76 是 锇 的 atomic 数字 |
(boilingPoint Osmium (MeasureFn 5300.0 KelvinDegree)) |
Mid-level-ontology.kif 29383-29383 | 5300.0 凯文度 是 锇 的 boiling 点 |
(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 28627-28628 | |
(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 29382-29382 | 3318.0 凯文度 是 锇 的 melting 点 |
(names Osmium "Osmium") | Mid-level-ontology.kif 28617-28617 | "Osmium" 的名 是 锇 |
(roomTempState Osmium Solid) | Mid-level-ontology.kif 31558-31558 | roomTempState 锇 and 固体 |
(subclass Osmium ElementalSubstance) | Mid-level-ontology.kif 28616-28616 | 锇 是 元素物质 的 subclass |
appearance as argument number 2 |
(conventionalShortName "Os" Osmium) | Mid-level-ontology.kif 28618-28618 | 锇 是 "Os" 的 conventional 简称 |
(termFormat ChineseLanguage Osmium "锇") | domainEnglishFormat.kif 42662-42662 | |
(termFormat ChineseTraditionalLanguage Osmium "鋨") | domainEnglishFormat.kif 42661-42661 | |
(termFormat EnglishLanguage Osmium "osmium") | domainEnglishFormat.kif 42660-42660 |
antecedent |
(=> (and (instance ?ATOM Osmium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 190.2 Amu))) |
Mid-level-ontology.kif 28621-28625 |