| Silicon
| |
| appearance as argument number 1 |
|
|
| (atomicNumber Silicon 14) | Mid-level-ontology.kif 27494-27494 | atomicNumber Silicon and 14 |
| (boilingPoint Silicon (MeasureFn 2628.0 KelvinDegree)) |
Mid-level-ontology.kif 29208-29208 | boilingPoint Silicon and 2628.0 の KelvinDegree(s) |
| (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 27502-27506 | |
| (externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Si-TableImage.svg") | pictureList.kif 1986-1986 | |
| (externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ Silizium_pulver.jpg") | pictureList.kif 2358-2358 | |
| (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 29207-29207 | meltingPoint Silicon and 1683.0 の KelvinDegree(s) |
| (names Silicon "Silicon") | Mid-level-ontology.kif 27492-27492 | "Silicon" は Silicon の name を 持って %n{ない} |
| (roomTempState Silicon Solid) | Mid-level-ontology.kif 31464-31464 | roomTempState Silicon and Solid |
| (subclass Silicon ElementalSubstance) | Mid-level-ontology.kif 27491-27491 | Silicon は 単体 の subclass では %n |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Si" Silicon) | Mid-level-ontology.kif 27493-27493 | conventionalShortName "Si" and Silicon |
| (termFormat ChineseLanguage Silicon "硅") | domainEnglishFormat.kif 53072-53072 | |
| (termFormat ChineseTraditionalLanguage Silicon "矽") | domainEnglishFormat.kif 53071-53071 | |
| (termFormat EnglishLanguage Silicon "silicon") | domainEnglishFormat.kif 53070-53070 |
| antecedent |
|
|
| (=> (and (instance ?ATOM Silicon) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 28.086 Amu))) |
Mid-level-ontology.kif 27496-27500 |
|
|
|