Прилагателно име - ж.р.
Думата е производна от мирски
През януари 1646 година е създадена Мирска митрополия, включваща Сиди и Аталия, но в 1651 година отново е анексиран към Писидия. Източник: интернет