Значение слова «проименовываться»

В словаре слово «проименовываться» имеет следующее определение:

Значение в словаре Ефремовой

проименовываться несов. устар. Получать какое-либо имя; называться.