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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ruthenium
Ruthenium(钌)

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


(atomicNumber Ruthenium 44) Mid-level-ontology.kif 28051-28051 44 是 atomic 数字
(boilingPoint Ruthenium
    (MeasureFn 4173.0 KelvinDegree))
Mid-level-ontology.kif 29319-29319 4173.0 凯文度boiling
(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 28059-28062
(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 29318-29318 2583.0 凯文度melting
(names Ruthenium "Ruthenium") Mid-level-ontology.kif 28049-28049 "Ruthenium" 的名 是
(roomTempState Ruthenium Solid) Mid-level-ontology.kif 31526-31526 roomTempState and 固体
(subclass Ruthenium ElementalSubstance) Mid-level-ontology.kif 28048-28048 元素物质subclass

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


(conventionalShortName "Ru" Ruthenium) Mid-level-ontology.kif 28050-28050 是 "Ru" 的 conventional 简称
(termFormat ChineseLanguage Ruthenium "钌") domainEnglishFormat.kif 50681-50681
(termFormat ChineseTraditionalLanguage Ruthenium "釕") domainEnglishFormat.kif 50680-50680
(termFormat EnglishLanguage Ruthenium "ruthenium") domainEnglishFormat.kif 50679-50679

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


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


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