| Silicon(silicon)
| | Si, atomic_number_14, silicon |
| appearance as argument number 1 |
|
|
| (atomicNumber Silicon 14) | Mid-level-ontology.kif 28609-28609 | 14 is an atomic number of silicon |
| (boilingPoint Silicon (MeasureFn 2628.0 KelvinDegree)) |
Mid-level-ontology.kif 30323-30323 | 2628.0 Kelvin degree(s) is a boiling point 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 28617-28621 | 2628.0 Kelvin degree(s) is a boiling point of silicon |
| (externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 42/ Si_TableImage.svg") | pictureList.kif 1985-1985 | 2628.0 Kelvin degree(s) is a boiling point of silicon |
| (externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/4/ 4a/ Silizium_pulver.jpg") | pictureList.kif 2357-2357 | 2628.0 Kelvin degree(s) is a boiling point of silicon |
| (externalImage Silicon "http://upload.wikimedia.org/wikipedia/commons/thumb/ 4/ 4a/ Silizium_pulver.jpg/ 125px_Silizium_pulver.jpg") | pictureList.kif 1251-1251 | 2628.0 Kelvin degree(s) is a boiling point of silicon |
| (meltingPoint Silicon (MeasureFn 1683.0 KelvinDegree)) |
Mid-level-ontology.kif 30322-30322 | 1683.0 Kelvin degree(s) is a melting point of silicon |
| (names Silicon "Silicon") | Mid-level-ontology.kif 28607-28607 | "Silicon" has name silicon |
| (roomTempState Silicon Solid) | Mid-level-ontology.kif 32587-32587 | roomTempState silicon and solid |
| (subclass Silicon ElementalSubstance) | Mid-level-ontology.kif 28606-28606 | Silicon is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Si" Silicon) | Mid-level-ontology.kif 28608-28608 | Silicon is a conventional short name of "Si" |
| (termFormat ChineseLanguage Silicon "硅") | domainEnglishFormat.kif 53105-53105 | Silicon is a conventional short name of "Si" |
| (termFormat ChineseTraditionalLanguage Silicon "矽") | domainEnglishFormat.kif 53104-53104 | Silicon is a conventional short name of "Si" |
| (termFormat EnglishLanguage Silicon "silicon") | domainEnglishFormat.kif 53103-53103 | 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 28611-28615 |
|
|
|
|