L'origine del nome Mina risale alla fine del XIX e all'inizio del XX secolo, quando fu utilizzato per designare una fonte d'acqua situata vicino alla linea ferroviaria nel nord. Questa sorgente, che scorreva a grande profondità, era l'unica nella regione di Amadora a mantenere un flusso costante, anche durante i mesi e