[367] Produktives Kohlengebirge (produktive Steinkohlenformation), die obere Abteilung der Steinkohlenformation (s. d.).
Adelung-1793: Kohlengebirge, das
Meyers-1905: Kohlengebirge
Pierer-1857: Kohlengebirge