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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Germanium
Germanium

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


(atomicNumber Germanium 32) Mid-level-ontology.kif 29469-29469
(boilingPoint Germanium
    (MeasureFn 3103.0 KelvinDegree))
Mid-level-ontology.kif 30922-30922
(documentation Germanium EnglishLanguage "Lustrous hard metalloid element, belongs to group 14 of the periodic table. Forms a large number of organometallic compounds. Predicted by Mendeleev in 1871, it was actually found in 1886 by Winkler.") Mid-level-ontology.kif 29477-29480
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Germanium.jpg") pictureList.kif 2192-2192
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Ge_TableImage.png") pictureList.kif 1780-1780
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5e/ Germanium.jpg/ 125px_Germanium.jpg") pictureList.kif 1121-1121
(meltingPoint Germanium
    (MeasureFn 1210.55 KelvinDegree))
Mid-level-ontology.kif 30921-30921
(names Germanium "Germanium") Mid-level-ontology.kif 29467-29467
(roomTempState Germanium Solid) Mid-level-ontology.kif 33186-33186
(subclass Germanium ElementalSubstance) Mid-level-ontology.kif 29466-29466

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


(conventionalShortName "Ge" Germanium) Mid-level-ontology.kif 29468-29468
(termFormat ChineseLanguage Germanium "锗") domainEnglishFormat.kif 25918-25918
(termFormat ChineseTraditionalLanguage Germanium "鍺") domainEnglishFormat.kif 25917-25917
(termFormat EnglishLanguage Germanium "germanium") domainEnglishFormat.kif 25916-25916

antecedent
-------------------------


(=>
    (and
        (instance ?ATOM Germanium)
        (instance ?ATOM Atom))
    (measure ?ATOM
        (MeasureFn 72.59 Amu)))
Mid-level-ontology.kif 29471-29475


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