Используем понятие [цвет].
[измененный] - отображение.
Измененный : Цвета -> Цвета.
Измененный (красный) = синий.
Измененный (синий) = зеленый.
Измененный (зеленый) = зеленый.

/* Примеры вопросов к онтологии:
Элементы области цвета?
Чему равно измененный(синий)?
Чему равно измененный(желтый)?
Желтый - цвет?
*/.

/************************************************************************************
Эта онтология разрабатывается в среде
"Простейшие примеры определения онтологий с использованием других онтологий"
с использованием шаблонов ядра.

В первом предложении в разрабатываемую онтологию загружается уже созданная
онтология "Цвет".
В следующих предложениях вводится новое отображение из класса "цвета" в этот же
класс и определяются значения введенного отображения на элементах с помощью равенств.
**************************************************************************************/.

В данной онтологии отношение использования не установлено