/********************************************************************/
/* E-R модель основана на трех понятиях: сущность, связь, свойство */
/* Сущность представляет собой любой отличимый тип объектов, */
/* информацию о которых мы хотим представлять в системе. */
/********************************************************************/ .

сущность - область.

/* Связью называется ассоциированние двух сущностей. */

[связи] - область.
"первый аргумент", "второй аргумент" - отображения.
область определения первый аргумент = связи.
область определения второй аргумент = связи.
область значений первый аргумент = Im первый аргумент (связи).
область значений второй аргумент =Im второй аргумент (связи).

/* Используем определение понятия свойства */.
/* Свойство задается отображением: сущности сопоставляется значение */.
/* в области признаков (смотри команду "свойство @Области: @Имя") */.

свойства - область.

свойства - подобласть области Имена отображений .

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