GulfOfMexico - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5177-5177	GulfOfMexico 和加勒比海是 connected
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5176-5176	GulfOfMexico 和北大西洋是 connected
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 是海湾的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5174-5174	GulfOfMexico 是盐水区的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 744-744	密西西比河和 GulfOfMexico 是 connected
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 927-927	佛罗里达接上 GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 973-973	路易斯安那州接上 GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1011-1011	密西西比州接上 GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	CountriesAndRegions.kif 1113-1113	德州接上 GulfOfMexico
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5175-5175	GulfOfMexico 的名是 "Gulf of Mexico"
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64959-64959