| | | Kind of type | Full locality |
| | | syntype of species Horatosphaga heteromorpha (Karsch, 1889) | East Tropical Africa, Kenya: Mombasa |
| | | syntype of species Horatosphaga heteromorpha (Karsch, 1889) | East Tropical Africa, Kenya: Mombasa |
| | | [not recorded as a type] | East Tropical Africa, Tanzania |
| | | [not recorded as a type] | East Tropical Africa, Tanzania: Kilimandjaro, Kibonoto |
| | | [not recorded as a type] | East Tropical Africa, Tanzania: Mount Kilimanjaro |
| | | paralectotype of synonym Pantolepta kilimandjarica Sjöstedt, 1910 | East Tropical Africa, Tanzania: Meru plains |
| | | holotype of synonym Euthyphlebia parallela Schulthess, 1898 | Northeast Tropical Africa, Ethiopia: Dolo |
| | | syntype of synonym Pantolepta kilimandjarica Sjöstedt, 1910 | East Tropical Africa, Tanzania: Meru plains |
| | | holotype of synonym Plegmatoptera hoehneli Brunner von Wattenwyl, 1891 | East Tropical Africa, Tanzania: Mount Kilimanjaro |
| | | holotype of synonym Plegmatoptera gracilis Bolívar, 1922 | East Tropical Africa, Kenya: loroghi Mtns |
| | | [not recorded as a type] | Northeast Tropical Africa, Somalia: Giumbo |