| Gallium(gallium)
| | Ga, atomic_number_31, gallium |
| appearance as argument number 1 |
|
|
| (atomicNumber Gallium 31) | Mid-level-ontology.kif 28057-28057 | 31 is an atomic number of gallium |
| (boilingPoint Gallium (MeasureFn 2676.0 KelvinDegree)) |
Mid-level-ontology.kif 29526-29526 | 2676.0 Kelvin degree(s) is a boiling point of gallium |
| (documentation Gallium EnglishLanguage "Soft silvery metallic element, belongs to group 13 of the periodic table. The two stable isotopes are Ga-69 and Ga-71. Eight radioactive isotopes are known, all having short half-lives. Gallium Arsenide is used as a semiconductor. Corrodes most other metals by diffusing into their lattice. First identified by Francois Lecoq de Boisbaudran in 1875.") | Mid-level-ontology.kif 28065-28070 | 2676.0 Kelvin degree(s) is a boiling point of gallium |
| (externalImage Gallium "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Ga-TableImage.png") | pictureList.kif 1770-1770 | 2676.0 Kelvin degree(s) is a boiling point of gallium |
| (meltingPoint Gallium (MeasureFn 302.93 KelvinDegree)) |
Mid-level-ontology.kif 29525-29525 | 302.93 Kelvin degree(s) is a melting point of gallium |
| (names Gallium "Gallium") | Mid-level-ontology.kif 28055-28055 | "Gallium" has name gallium |
| (roomTempState Gallium Solid) | Mid-level-ontology.kif 31746-31746 | roomTempState gallium and solid |
| (subclass Gallium ElementalSubstance) | Mid-level-ontology.kif 28054-28054 | Gallium is a subclass of elemental substance |
| appearance as argument number 2 |
|
|
| (conventionalShortName "Ga" Gallium) | Mid-level-ontology.kif 28056-28056 | Gallium is a conventional short name of "Ga" |
| (termFormat ChineseLanguage Gallium "镓") | domainEnglishFormat.kif 25410-25410 | Gallium is a conventional short name of "Ga" |
| (termFormat ChineseTraditionalLanguage Gallium "鎵") | domainEnglishFormat.kif 25409-25409 | Gallium is a conventional short name of "Ga" |
| (termFormat EnglishLanguage Gallium "gallium") | domainEnglishFormat.kif 25408-25408 | Gallium is a conventional short name of "Ga" |
| antecedent |
|
|
| (=> (and (instance ?ATOM Gallium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 69.72 Amu))) |
Mid-level-ontology.kif 28059-28063 |
|
|
|
|