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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Strontium
Strontium

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


(atomicNumber Strontium 38) Mid-level-ontology.kif 27891-27891
(boilingPoint Strontium
    (MeasureFn 1657.0 KelvinDegree))
Mid-level-ontology.kif 29256-29256
(documentation Strontium EnglishLanguage "Soft yellowish metallic element, belongs to group 2 of the periodic table. Highly reactive chemically. Sr-90 is present in radioactive fallout and has a half-life of 28 years. Discovered in 1798 by Klaproth and Hope, isolated in 1808 by Humphry Davy.") Mid-level-ontology.kif 27899-27903
(externalImage Strontium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Sr-TableImage.png") pictureList.kif 2007-2007
(externalImage Strontium "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Sr%2C38.jpg") pictureList.kif 2380-2380
(externalImage Strontium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 8/ 82/ Sr%2C38.jpg/ 125px-Sr%2C38.jpg") pictureList.kif 1257-1257
(meltingPoint Strontium
    (MeasureFn 1042.0 KelvinDegree))
Mid-level-ontology.kif 29255-29255
(names Strontium "Strontium") Mid-level-ontology.kif 27889-27889
(roomTempState Strontium Solid) Mid-level-ontology.kif 31488-31488
(subclass Strontium ElementalSubstance) Mid-level-ontology.kif 27888-27888

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


(conventionalShortName "Sr" Strontium) Mid-level-ontology.kif 27890-27890
(termFormat ChineseLanguage Strontium "锶") domainEnglishFormat.kif 55668-55668
(termFormat ChineseTraditionalLanguage Strontium "鍶") domainEnglishFormat.kif 55667-55667
(termFormat EnglishLanguage Strontium "strontium") domainEnglishFormat.kif 55666-55666

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


(=>
    (and
        (instance ?ATOM Strontium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 87.62 Amu)))
Mid-level-ontology.kif 27893-27897


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