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
(boilingPoint Osmium
    (MeasureFn 5300.0 KelvinDegree))
Mid-level-ontology.kif 29383-29383
(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
(names Osmium "Osmium") Mid-level-ontology.kif 28617-28617
(roomTempState Osmium Solid) Mid-level-ontology.kif 31558-31558
(subclass Osmium ElementalSubstance) Mid-level-ontology.kif 28616-28616

appearance as argument number 2
-------------------------


(conventionalShortName "Os" Osmium) Mid-level-ontology.kif 28618-28618
(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