Individual #Bay_of_Campeche  a bay of the Gulf of Mexico; formed by the Yucatan Peninsula
  part of:  #Gulf_of_Mexico
  type:  #bay  an indentation of a shoreline larger than a cove but smaller than an gulf

No statement uses or specializes #Bay_of_Campeche; click here to add one.