Oprindelsen af navnet Mina går tilbage til slutningen af det 19. og begyndelsen af det 20. århundrede, hvor det blev brugt til at betegne en vandkilde beliggende nær jernbanelinjen i nord. Denne kilde, som løb i stor dybde, var den eneste i Amadora-regionen, der opretholdt en konstant strøm, selv i sommermånederne, hvo