noun ancient name of the Rock of Gibraltar. nounthe ancient name for (the Rock of) Gibraltar