Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Osmium

Sigma KEE - Osmium
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 and 凱文度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 and 凱文度melting
(names Osmium "Osmium") Mid-level-ontology.kif 28617-28617 and "Osmium"
(roomTempState Osmium Solid) Mid-level-ontology.kif 31558-31558 roomTempState and 固體
(subclass Osmium ElementalSubstance) Mid-level-ontology.kif 28616-28616 子類 and ElementalSubstance

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners