Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gallium
Gallium(gallium)
Ga, atomic_number_31, gallium

appearance as argument number 1
-------------------------


(atomicNumber Gallium 31) Mid-level-ontology.kif 27773-27773 31 is an atomic number of gallium
(boilingPoint Gallium
    (MeasureFn 2676.0 KelvinDegree))
Mid-level-ontology.kif 29242-29242 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 27781-27786
(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 29241-29241 302.93 Kelvin degree(s) is a melting point of gallium
(names Gallium "Gallium") Mid-level-ontology.kif 27771-27771 "Gallium" has name gallium
(roomTempState Gallium Solid) Mid-level-ontology.kif 31481-31481 roomTempState gallium and solid
(subclass Gallium ElementalSubstance) Mid-level-ontology.kif 27770-27770 Gallium is a subclass of elemental substance

appearance as argument number 2
-------------------------


(conventionalShortName "Ga" Gallium) Mid-level-ontology.kif 27772-27772 Gallium is a conventional short name of "Ga"
(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 27775-27779


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners