Horní Mokropsy to miejscowość w to miejscowość, która 1939 należała do Rzesza Niemiecka i znajdowała się w okręgu administracyjnym Prag.
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.