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 27879-27879
(boilingPoint Strontium
    (MeasureFn 1657.0 KelvinDegree))
Mid-level-ontology.kif 29244-29244
(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 27887-27891
(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 29243-29243
(names Strontium "Strontium") Mid-level-ontology.kif 27877-27877
(roomTempState Strontium Solid) Mid-level-ontology.kif 31484-31484
(subclass Strontium ElementalSubstance) Mid-level-ontology.kif 27876-27876

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


(conventionalShortName "Sr" Strontium) Mid-level-ontology.kif 27878-27878
(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 27881-27885


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