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 29997-29997
(boilingPoint Samarium
    (MeasureFn 2051.0 KelvinDegree))
Mid-level-ontology.kif 30982-30982
(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 30005-30013
(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 30981-30981
(names Samarium "Samarium") Mid-level-ontology.kif 29995-29995
(roomTempState Samarium Solid) Mid-level-ontology.kif 33216-33216
(subclass Samarium ElementalSubstance) Mid-level-ontology.kif 29994-29994

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


(conventionalShortName "Sm" Samarium) Mid-level-ontology.kif 29996-29996
(termFormat ChineseLanguage Samarium "钐") domainEnglishFormat.kif 51060-51060
(termFormat ChineseTraditionalLanguage Samarium "釤") domainEnglishFormat.kif 51059-51059
(termFormat EnglishLanguage Samarium "samarium") domainEnglishFormat.kif 51058-51058

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


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


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