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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Samarium
Samarium

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


(atomicNumber Samarium 62) Mid-level-ontology.kif 28603-28603
(boilingPoint Samarium
    (MeasureFn 2051.0 KelvinDegree))
Mid-level-ontology.kif 29588-29588
(documentation Samarium EnglishLanguage "Soft silvery metallic element, belongs to the lanthanoids. Seven natural isotopes, Sm-147 is the only radioisotope, and has a half-life of 2.5*10^11 years. Used for making special alloys needed in the production of nuclear reactors. Also used as a neutron absorber. Small quantities of samarium oxide is used in special optical glasses. The largest use of the element is its ferromagnetic alloy which produces permanent magnets that are five times stronger than magnets produced by any other material. Discovered by Francois Lecoq de Boisbaudran in 1879.") Mid-level-ontology.kif 28611-28619
(externalImage Samarium "http://upload.wikimedia.org/wikipedia/commons/9/ 93/ Sm-TableImage.png") pictureList.kif 1967-1967
(externalImage Samarium "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ Sm%2C62.jpg") pictureList.kif 2342-2342
(externalImage Samarium "http://upload.wikimedia.org/wikipedia/commons/thumb/ 9/ 9c/ Sm%2C62.jpg/ 125px-Sm%2C62.jpg") pictureList.kif 1243-1243
(meltingPoint Samarium
    (MeasureFn 1345.0 KelvinDegree))
Mid-level-ontology.kif 29587-29587
(names Samarium "Samarium") Mid-level-ontology.kif 28601-28601
(roomTempState Samarium Solid) Mid-level-ontology.kif 31777-31777
(subclass Samarium ElementalSubstance) Mid-level-ontology.kif 28600-28600

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


(conventionalShortName "Sm" Samarium) Mid-level-ontology.kif 28602-28602
(termFormat ChineseLanguage Samarium "钐") domainEnglishFormat.kif 51062-51062
(termFormat ChineseTraditionalLanguage Samarium "釤") domainEnglishFormat.kif 51061-51061
(termFormat EnglishLanguage Samarium "samarium") domainEnglishFormat.kif 51060-51060

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


(=>
    (and
        (instance ?ATOM Samarium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 150.35 Amu)))
Mid-level-ontology.kif 28605-28609


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