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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Germanium

 Sigma KEE - Germanium
Germanium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27779-27779 atomicNumber Germanium and 32
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29232-29232 boilingPoint Germanium and 3103.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27787-27790
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2193-2193
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1781-1781
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1121-1121
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29231-29231 meltingPoint Germanium and 1210.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27777-27777 "Germanium" s'appele nom Germanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31478-31478 roomTempState Germanium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27776-27776 Germanium est une sous-classe de substance �l�mentaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27778-27778 conventionalShortName "Ge" and Germanium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25890-25890
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25889-25889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25888-25888

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27781-27785


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

Show without tree


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