Originea numelui Mina datează de la sfârșitul secolului al XIX-lea și începutul secolului al XX-lea, când a fost folosit pentru a desemna un izvor de apă situat în apropierea liniei ferate din nord. Acest izvor, care curgea la mare adâncime, era singurul din regiunea Amadora care își menținea un flux constant, chiar și