Horní Mokropsy to miejscowość w to miejscowość, która 1945 należała do Czechosłowacja i znajdowała się w okręgu administracyjnym Praha-jih.
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.