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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GulfOfMexico

 Sigma KEE - GulfOfMexico
GulfOfMexico(Gulf of mexico)
more pictures...		Golfo_de_Mexico, Gulf_of_Mexico

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 5177-5177 Gulf of mexico is connected to caribbean sea
No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 Gulf of mexico is connected to north atlantic ocean
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 Gulf of mexico is an instance of gulf
No TPTP formula. May not be expressible in strict first order. Geography.kif 5174-5174 Gulf of mexico is an instance of salt water area

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 Mississippi river is connected to Gulf of mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 927-927 Florida meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 973-973 Louisiana meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1011-1011 Mississippi meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 Texas meets Gulf of mexico
No TPTP formula. May not be expressible in strict first order. Geography.kif 5175-5175 Gulf of mexico has name "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