Silicon![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
(atomicNumber Silicon 14) | Mid-level-ontology.kif 29172-29172 | |
(boilingPoint Silicon (MeasureFn 2628.0 KelvinDegree)) |
Mid-level-ontology.kif 30886-30886 | |
(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 29180-29184 | |
(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 30885-30885 | |
(names Silicon "Silicon") | Mid-level-ontology.kif 29170-29170 | |
(roomTempState Silicon Solid) | Mid-level-ontology.kif 33168-33168 | |
(subclass Silicon ElementalSubstance) | Mid-level-ontology.kif 29169-29169 |
appearance as argument number 2 |
![]() |
(conventionalShortName "Si" Silicon) | Mid-level-ontology.kif 29171-29171 | |
(termFormat ChineseLanguage Silicon "硅") | domainEnglishFormat.kif 53105-53105 | |
(termFormat ChineseTraditionalLanguage Silicon "矽") | domainEnglishFormat.kif 53104-53104 | |
(termFormat EnglishLanguage Silicon "silicon") | domainEnglishFormat.kif 53103-53103 |
antecedent |
![]() |
(=> (and (instance ?ATOM Silicon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 28.086 Amu))) |
Mid-level-ontology.kif 29174-29178 |
![]() |
![]() |