Gallium(鎵) |
appearance as argument number 1 |
(atomicNumber Gallium 31) | Mid-level-ontology.kif 27824-27824 | 31 是 鎵 的 atomic 數字 |
(boilingPoint Gallium (MeasureFn 2676.0 KelvinDegree)) |
Mid-level-ontology.kif 29293-29293 | 測量 2676.0 and 凱文度 是 鎵 的 boiling 點 |
(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 27832-27837 | |
(externalImage Gallium "http://upload.wikimedia.org/wikipedia/commons/7/ 7a/ Ga-TableImage.png") | pictureList.kif 1770-1770 | |
(meltingPoint Gallium (MeasureFn 302.93 KelvinDegree)) |
Mid-level-ontology.kif 29292-29292 | 測量 302.93 and 凱文度 是 鎵 的 melting 點 |
(names Gallium "Gallium") | Mid-level-ontology.kif 27822-27822 | 名 鎵 and "Gallium" |
(roomTempState Gallium Solid) | Mid-level-ontology.kif 31513-31513 | roomTempState 鎵 and 固體 |
(subclass Gallium ElementalSubstance) | Mid-level-ontology.kif 27821-27821 | 子類 鎵 and ElementalSubstance |
appearance as argument number 2 |
(conventionalShortName "Ga" Gallium) | Mid-level-ontology.kif 27823-27823 | 鎵 是 "Ga" 的 conventional 簡稱 |
(termFormat ChineseLanguage Gallium "镓") | domainEnglishFormat.kif 25376-25376 | |
(termFormat ChineseTraditionalLanguage Gallium "鎵") | domainEnglishFormat.kif 25375-25375 | |
(termFormat EnglishLanguage Gallium "gallium") | domainEnglishFormat.kif 25374-25374 |
antecedent |
(=> (and (instance ?ATOM Gallium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 69.72 Amu))) |
Mid-level-ontology.kif 27826-27830 |