Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Silicon

 Sigma KEE - Silicon
Silicon(silicon)
Si, atomic_number_14, silicon

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


(subclass Silicon ElementalSubstance) Mid-level-ontology.kif 30117-30117 Silicon is a subclass of elemental substance
(atomicNumber Silicon 14) Mid-level-ontology.kif 30120-30120 14 is an atomic number of silicon
(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 30128-30132 14 is an atomic number of silicon
(meltingPoint Silicon
    (MeasureFn 1683.0 KelvinDegree))		 Mid-level-ontology.kif 31833-31833 1683.0 Kelvin degree(s) is a melting point of silicon
(boilingPoint Silicon
    (MeasureFn 2628.0 KelvinDegree))		 Mid-level-ontology.kif 31834-31834 2628.0 Kelvin degree(s) is a boiling point of silicon
(roomTempState Silicon Solid) Mid-level-ontology.kif 33936-33936 room temperature state silicon and solid
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4a/ Silizium_pulver.jpg/ 125px_Silizium_pulver.jpg") pictureList.kif 1251-1251 room temperature state silicon and solid
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Si_TableImage.svg") pictureList.kif 1985-1985 room temperature state silicon and solid
(externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ Silizium_pulver.jpg") pictureList.kif 2357-2357 room temperature state silicon and solid

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


(names "Silicon" Silicon) Mid-level-ontology.kif 30118-30118 Silicon has name "Silicon"
(conventionalShortName "Si" Silicon) Mid-level-ontology.kif 30119-30119 Silicon is a conventional short name of "Si"
(termFormat EnglishLanguage Silicon "silicon") domainEnglishFormat.kif 53067-53067 Silicon is a conventional short name of "Si"
(termFormat ChineseTraditionalLanguage Silicon "矽") domainEnglishFormat.kif 53068-53068 Silicon is a conventional short name of "Si"
(termFormat ChineseLanguage Silicon "硅") domainEnglishFormat.kif 53069-53069 Silicon is a conventional short name of "Si"

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


(=>
    (and
        (instance ?ATOM Silicon)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 28.086 Amu)))		 Mid-level-ontology.kif 30122-30126 If X is an instance of silicon and X is an instance of atom, then the measure of X is 28.086 amu(s)


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners