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 and 加勒比海
No TPTP formula. May not be expressible in strict first order. Geography.kif 5176-5176 連接的 GulfOfMexico and 北大西洋
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 and 海灣
No TPTP formula. May not be expressible in strict first order. Geography.kif 5174-5174 例 GulfOfMexico and SaltWaterArea

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 744-744 連接的 密西西比河 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 927-927 空間的符合 佛羅里達 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 973-973 空間的符合 路易斯安那州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1011-1011 空間的符合 密西西比州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1113-1113 空間的符合 德州 and GulfOfMexico
No TPTP formula. May not be expressible in strict first order. Geography.kif 5175-5175 名 "Gulf of Mexico" and GulfOfMexico
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