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 28175-28175
(boilingPoint Strontium
    (MeasureFn 1657.0 KelvinDegree))
Mid-level-ontology.kif 29540-29540
(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 28183-28187
(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 29539-29539
(names Strontium "Strontium") Mid-level-ontology.kif 28173-28173
(roomTempState Strontium Solid) Mid-level-ontology.kif 31753-31753
(subclass Strontium ElementalSubstance) Mid-level-ontology.kif 28172-28172

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


(conventionalShortName "Sr" Strontium) Mid-level-ontology.kif 28174-28174
(termFormat ChineseLanguage Strontium "锶") domainEnglishFormat.kif 55703-55703
(termFormat ChineseTraditionalLanguage Strontium "鍶") domainEnglishFormat.kif 55702-55702
(termFormat EnglishLanguage Strontium "strontium") domainEnglishFormat.kif 55701-55701

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


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


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