Horní Mokropsy to miejscowość należąca dawniej do Rzeszy Niemieckiej. W Rzeszy Niemieckiej miejscowość nazywała się Horní Mokropsy.
. Dziś miejscowość nazywa się Všenory * i należy do Czechy.
| Historyczna nazwa miejscowości | Państwo | Administracja | Czas |
|---|---|---|---|
| Ober-Mokropetz | Austro-Węgry | Smichow | przed traktatem pokojowym z Austrią |
| Horní Mokropsy | Austro-Węgry | Smichow | przed traktatem pokojowym z Austrią |
| Horní Mokropsy | Czechosłowacja | Smíchov | po traktacie pokojowym z Austrią |
| Ober-Mokropes | Rzesza Niemiecka | Prag | 1939 |
| Horní Mokropsy | Rzesza Niemiecka | Prag | 1939 |
| Horní Mokropsy | Czechosłowacja | Praha-jih | 1945 |
| Všenory * | Czechosłowacja | Praha-západ | 1992 |
| Všenory * | Czechy | Praha-západ | 1993 |