Der Ursprung des Namens Mina geht auf das Ende des 19. und den Anfang des 20. Jahrhunderts zurück, als er verwendet wurde, um eine Wasserquelle in der Nähe der Eisenbahnlinie im Norden zu bezeichnen. Diese Quelle, die aus großer Tiefe entsprang, war die einzige in der Region Amadora, die selbst in den Sommermonaten, we