Su nombre se refiere al actual municipio andaluz de Villamanrique de la Condesa, en la provincia de Sevilla.