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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Ruthenium

Sigma KEE - Ruthenium
Ruthenium

appearance as argument number 1
-------------------------


(atomicNumber Ruthenium 44) Mid-level-ontology.kif 28000-28000
(boilingPoint Ruthenium
    (MeasureFn 4173.0 KelvinDegree))
Mid-level-ontology.kif 29268-29268
(documentation Ruthenium EnglishLanguage "Hard white metallic transition element. Found with platinum, used as a catalyst in some platinum alloys. Dissolves in fused alkalis, and is not attacked by acids. Reacts with halogens and oxygen at high temperatures. Isolated in 1844 by K.K. Klaus.") Mid-level-ontology.kif 28008-28011
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Ru-TableImage.png") pictureList.kif 1967-1967
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Ru%2C44.jpg") pictureList.kif 2342-2342
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f3/ Ru%2C44.jpg/ 125px-Ru%2C44.jpg") pictureList.kif 1242-1242
(meltingPoint Ruthenium
    (MeasureFn 2583.0 KelvinDegree))
Mid-level-ontology.kif 29267-29267
(names Ruthenium "Ruthenium") Mid-level-ontology.kif 27998-27998
(roomTempState Ruthenium Solid) Mid-level-ontology.kif 31494-31494
(subclass Ruthenium ElementalSubstance) Mid-level-ontology.kif 27997-27997

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


(conventionalShortName "Ru" Ruthenium) Mid-level-ontology.kif 27999-27999
(termFormat ChineseLanguage Ruthenium "钌") domainEnglishFormat.kif 50679-50679
(termFormat ChineseTraditionalLanguage Ruthenium "釕") domainEnglishFormat.kif 50678-50678
(termFormat EnglishLanguage Ruthenium "ruthenium") domainEnglishFormat.kif 50677-50677

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Ruthenium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 101.07 Amu)))
Mid-level-ontology.kif 28002-28006


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