Horní Mokropsy to miejscowość w to miejscowość, która po traktacie pokojowym z Austrią należała do Czechosłowacja i znajdowała się w okręgu administracyjnym Smíchov.
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.