Anda mungkin mengenali tempat ini dengan nama berikut:
Jardim da Avenida da República, Jardim da Avenida da Republica