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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ruthenium
Ruthenium(ruthenium)
Ru, atomic_number_44, ruthenium

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


(atomicNumber Ruthenium 44) Mid-level-ontology.kif 29678-29678 44 is an atomic number of ruthenium
(boilingPoint Ruthenium
    (MeasureFn 4173.0 KelvinDegree))
Mid-level-ontology.kif 30946-30946 4173.0 Kelvin degree(s) is a boiling point of ruthenium
(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 29686-29689 4173.0 Kelvin degree(s) is a boiling point of ruthenium
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ 4/ 48/ Ru_TableImage.png") pictureList.kif 1966-1966 4173.0 Kelvin degree(s) is a boiling point of ruthenium
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ f/ f3/ Ru%2C44.jpg") pictureList.kif 2341-2341 4173.0 Kelvin degree(s) is a boiling point of ruthenium
(externalImage Ruthenium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f3/ Ru%2C44.jpg/ 125px_Ru%2C44.jpg") pictureList.kif 1242-1242 4173.0 Kelvin degree(s) is a boiling point of ruthenium
(meltingPoint Ruthenium
    (MeasureFn 2583.0 KelvinDegree))
Mid-level-ontology.kif 30945-30945 2583.0 Kelvin degree(s) is a melting point of ruthenium
(names Ruthenium "Ruthenium") Mid-level-ontology.kif 29676-29676 "Ruthenium" has name ruthenium
(roomTempState Ruthenium Solid) Mid-level-ontology.kif 33198-33198 room temperature state ruthenium and solid
(subclass Ruthenium ElementalSubstance) Mid-level-ontology.kif 29675-29675 Ruthenium is a subclass of elemental substance

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


(conventionalShortName "Ru" Ruthenium) Mid-level-ontology.kif 29677-29677 Ruthenium is a conventional short name of "Ru"
(termFormat ChineseLanguage Ruthenium "钌") domainEnglishFormat.kif 50712-50712 Ruthenium is a conventional short name of "Ru"
(termFormat ChineseTraditionalLanguage Ruthenium "釕") domainEnglishFormat.kif 50711-50711 Ruthenium is a conventional short name of "Ru"
(termFormat EnglishLanguage Ruthenium "ruthenium") domainEnglishFormat.kif 50710-50710 Ruthenium is a conventional short name of "Ru"

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


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


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