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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Osmium
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


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



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