| | | Kind of type | Full locality |
| | | [not recorded as a type] | Northeast Tropical Africa, Socotra |
| | | [not recorded as a type] | East Tropical Africa, Kenya |
| | | paratype of subspecies Ochrilidia gracilis nyuki (Sjöstedt, 1910) | East Tropical Africa, Tanzania: Arusha, Meru lowlands |
| | | holotype of subspecies Ochrilidia gracilis nyuki (Sjöstedt, 1910) | East Tropical Africa, Tanzania: Meru plains |
| | | holotype of synonym Platypternodes rudolfi Uvarov, 1938 | Northeast Tropical Africa, Ethiopia: Bourie, Omo River |