/* Эта онтология является средой для онтологий раздела
"Примеры онтологий с рекурсией"

/* Эта онтология является средой для онтологий раздела
"Примеры онтологий задач на равномерное движение".

/* Эта онтология является средой для онтологий,
входящих в раздел "Примеры онтологий".

/* Эта онтология является средой для раздела онтологий

/****************************************/
/*
ЭТА ОНТОЛОГИЯ ОТКРЫВАЕТ РАЗДЕЛ
"АЛГЕБРАИЧЕСКИЕ СИСТЕМЫ"
*/

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

"тела" - область.
Пусть [куб], [пирамида],[шар] - тела.
Используем понятие [изменение цвета].
[цвет] - отображение.

[Цвета] - область.
"теплые цвета" < цвета.
"холодные цвета" < цвета.

/* Пример взят из книги Цаленко "Моделирование семантики в базах данных" */

[люди] - область.

Свойства люди :

/* ПРИМЕР ОПИСАНИЯ МИРА */
[ТЕЛА],[ОДУШЕВЛЕННЫЕ ТЕЛА],[НЕОДУШЕВЛЕННЫЕ ТЕЛА],

Пешеход равномерно движется со скоростью 5. Пешеход's
время =2.

Путь, скорость, время: real.

Путь= скорость*время.
Время= путь/скорость.
Скорость= путь/время.

Введем шаблон "Sum(@lst)"
с переменными:
"lst : список"
и переменной результата " z: real " ;

/*В этом примере определяется рекурсивно функция n!.
Для этого вводится шаблон "fact(@n,@i,@y)" локальной функции,

/******************************************************/
/* В ЭТОЙ ОНТОЛОГИИ ВВОДЯТСЯ ОСНОВНЫЕ КЛАССЫ, ПРАВИЛА */