The island also went by the name of Isle of Seven Cities (Ilha das Sete Cidades in Portuguese, Isla de las Siete Ciudades in Spanish).
Pulau tersebut juga dinamai Pulau Tujuh Kota (Ilha das Sete Cidades dalam bahasa Portugis, Isla de las Siete Ciudades dalam bahasa Spanyol).