De ahí procede el nombre del término llamado "La Horca", y origen también del nombre del pueblo: Villa de la Horca, Villahorquite, Villorquite.