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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Germanium
Germanium(germanium)
Ge, atomic_number_32, germanium

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


(atomicNumber Germanium 32) Mid-level-ontology.kif 28075-28075 32 is an atomic number of germanium
(boilingPoint Germanium
    (MeasureFn 3103.0 KelvinDegree))
Mid-level-ontology.kif 29528-29528 3103.0 Kelvin degree(s) is a boiling point of germanium
(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 28083-28086 3103.0 Kelvin degree(s) is a boiling point of germanium
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ 5/ 5e/ Germanium.jpg") pictureList.kif 2193-2193 3103.0 Kelvin degree(s) is a boiling point of germanium
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ 7/ 71/ Ge-TableImage.png") pictureList.kif 1781-1781 3103.0 Kelvin degree(s) is a boiling point of germanium
(externalImage Germanium "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5e/ Germanium.jpg/ 125px-Germanium.jpg") pictureList.kif 1121-1121 3103.0 Kelvin degree(s) is a boiling point of germanium
(meltingPoint Germanium
    (MeasureFn 1210.55 KelvinDegree))
Mid-level-ontology.kif 29527-29527 1210.55 Kelvin degree(s) is a melting point of germanium
(names Germanium "Germanium") Mid-level-ontology.kif 28073-28073 "Germanium" has name germanium
(roomTempState Germanium Solid) Mid-level-ontology.kif 31747-31747 roomTempState germanium and solid
(subclass Germanium ElementalSubstance) Mid-level-ontology.kif 28072-28072 Germanium is a subclass of elemental substance

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


(conventionalShortName "Ge" Germanium) Mid-level-ontology.kif 28074-28074 Germanium is a conventional short name of "Ge"
(termFormat ChineseLanguage Germanium "锗") domainEnglishFormat.kif 25924-25924 Germanium is a conventional short name of "Ge"
(termFormat ChineseTraditionalLanguage Germanium "鍺") domainEnglishFormat.kif 25923-25923 Germanium is a conventional short name of "Ge"
(termFormat EnglishLanguage Germanium "germanium") domainEnglishFormat.kif 25922-25922 Germanium is a conventional short name of "Ge"

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


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


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