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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LakeEyre
LakeEyre

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4760-4760
No TPTP formula. May not be expressible in strict first order. Geography.kif 5106-5106 geographicSubregion LakeEyre and Australia
No TPTP formula. May not be expressible in strict first order. Geography.kif 5104-5104 LakeEyre est une instance de SaltLake

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5105-5105 LakeEyre s'appele nom "Lake Eyre"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33133-33133
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33132-33132
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33131-33131


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