Перевод - процесс перефразирования высказываний, изменяющий предикаты одной системы представления на предикаты другой.
