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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GulfOfMexico

 Sigma KEE - GulfOfMexico
GulfOfMexico
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5177-5177 GulfOfMexico est connect� � CaribbeanSea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 GulfOfMexico est connect� � NorthAtlanticOcean
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7038-7038
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7039-7039
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7040-7040
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6603-6603
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7043-7043
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7041-7041
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7042-7042
No TPTP formula. May not be expressible in strict first order. Geography.kif 5173-5173 GulfOfMexico est une instance de Gulf
No TPTP formula. May not be expressible in strict first order. Geography.kif 5174-5174 GulfOfMexico est une instance de plan d'eau sal�

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 MississippiRiver est connect� � GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 927-927 FloridaUnitedStates rencontre GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 973-973 Louisiana rencontre GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1011-1011 Mississippi rencontre GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 Texas rencontre GulfOfMexico
No TPTP formula. May not be expressible in strict first order. Geography.kif 5175-5175 GulfOfMexico s'appele nom "Gulf of Mexico"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64959-64959


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