Kochi (city)/Definition