Путь, скорость, время: real.
Путь= скорость*время.
Время= путь/скорость.
Скорость= путь/время.
Введем шаблон "@Тело движется равномерно"
с переменными: "Тело: new"
и переменной результата " x: команда " ;
Пояснения: [Вводится объект @Тело, движущийся равномерно]
Условие применения шаблона:
[]
Действие шаблона:
[x=пустая команда;
тело - объект понятия "равномерное движение". ]
Тип доступа шаблона:[внешний].
Введем шаблон "@Тело равномерно движется со скоростью @V"
с переменными: "Тело: new; V: real_выражение"
и переменной результата " x: команда " ;
Пояснения: [Вводится объект @Тело, равномерно движущийся \ \n со скоростью @V ]
Условие применения шаблона:
[]
Действие шаблона:
[x=пустая команда;
тело - объект понятия "равномерное движение";
тело's скорость =V. ]
Тип доступа шаблона:[внешний].
/**********************************************************************************
В первых четырех строках вводятся переменные параметры, являющиеся характеристиками
равномерного движения, которые связываются уравнениями равномерного движения.
Далее вводятся два внешних к этой онтологии шаблона, использование которых в других
онтологиях позволяет создавать в них экземпляры объектов равномерного движения,
обладающих характеристиками равномерного движения, связанными уравнениями
равномерного движения.
Эта онтология используется в задачах на равномерное движение.
************************************************************************************/.
