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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Silicon
Silicon

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


(atomicNumber Silicon 14) Mid-level-ontology.kif 27778-27778
(boilingPoint Silicon
    (MeasureFn 2628.0 KelvinDegree))
Mid-level-ontology.kif 29492-29492
(documentation Silicon EnglishLanguage "Metalloid element belonging to group 14 of the periodic table. It is the second most abundant element in the Earth's crust, making up 25.7 percent of it by weight. Chemically less reactive than carbon. First identified by Lavoisier in 1787 and first isolated in 1823 by Berzelius.") Mid-level-ontology.kif 27786-27790
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Si-TableImage.svg") pictureList.kif 1985-1985
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ Silizium_pulver.jpg") pictureList.kif 2357-2357
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4a/ Silizium_pulver.jpg/ 125px-Silizium_pulver.jpg") pictureList.kif 1251-1251
(meltingPoint Silicon
    (MeasureFn 1683.0 KelvinDegree))
Mid-level-ontology.kif 29491-29491
(names Silicon "Silicon") Mid-level-ontology.kif 27776-27776
(roomTempState Silicon Solid) Mid-level-ontology.kif 31729-31729
(subclass Silicon ElementalSubstance) Mid-level-ontology.kif 27775-27775

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


(conventionalShortName "Si" Silicon) Mid-level-ontology.kif 27777-27777
(termFormat ChineseLanguage Silicon "硅") domainEnglishFormat.kif 53107-53107
(termFormat ChineseTraditionalLanguage Silicon "矽") domainEnglishFormat.kif 53106-53106
(termFormat EnglishLanguage Silicon "silicon") domainEnglishFormat.kif 53105-53105

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


(=>
    (and
        (instance ?ATOM Silicon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 28.086 Amu)))
Mid-level-ontology.kif 27780-27784


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