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 27842-27842 atomicNumber Germanium and 32
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29295-29295 boilingPoint Germanium and 3103.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27850-27853
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 29294-29294 meltingPoint Germanium and 1210.55 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27840-27840 "Germanium" s'appele nom Germanium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31514-31514 roomTempState Germanium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27839-27839 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 27841-27841 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 27844-27848


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