text: Seit dem 16. Jahrhundert ist die eigenständige Gemeinde São Miguel do Pinheiro belegt, ursprünglich als São Miguel de Beja, mit dem Hauptort Pinheiro, die heute gleichermaßen den Namen São Miguel do Pinheiro führen.