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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Gallium
Gallium

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27824-27824 atomicNumber Gallium and 31
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29293-29293 boilingPoint Gallium and 2676.0 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27832-27837
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1770-1770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29292-29292 meltingPoint Gallium and 302.93 KelvinDegree(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27822-27822 "Gallium" s'appele nom Gallium
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31513-31513 roomTempState Gallium and Solid
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27821-27821 Gallium 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 27823-27823 conventionalShortName "Ga" and Gallium
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25376-25376
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25375-25375
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25374-25374

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


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


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