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 29569-29569
(boilingPoint Strontium
    (MeasureFn 1657.0 KelvinDegree))
Mid-level-ontology.kif 30934-30934
(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 29577-29581
(externalImage Strontium "http://upload.wikimedia.org/wikipedia/commons/ 0/ 04/ Sr_TableImage.png") pictureList.kif 2006-2006
(externalImage Strontium "http://upload.wikimedia.org/wikipedia/commons/ 8/ 82/ Sr%2C38.jpg") pictureList.kif 2379-2379
(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 30933-30933
(names Strontium "Strontium") Mid-level-ontology.kif 29567-29567
(roomTempState Strontium Solid) Mid-level-ontology.kif 33192-33192
(subclass Strontium ElementalSubstance) Mid-level-ontology.kif 29566-29566

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


(conventionalShortName "Sr" Strontium) Mid-level-ontology.kif 29568-29568
(termFormat ChineseLanguage Strontium "锶") domainEnglishFormat.kif 55701-55701
(termFormat ChineseTraditionalLanguage Strontium "鍶") domainEnglishFormat.kif 55700-55700
(termFormat EnglishLanguage Strontium "strontium") domainEnglishFormat.kif 55699-55699

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


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


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