/*************************************************************************************/

/* В этом понятии шаблоны ядра системы переводятся на английский язык */.

/********************************************************************/
/* E-R модель основана на трех понятиях: сущность, связь, свойство */

bool -область.
f,t -элементы области bool.
AND: bool x bool ->bool.
OR : bool x bool -> bool.
NOT : bool ->bool.

bool - область.
True, False: bool.
IF: bool x real x real -> real.
Введем шаблон [if @b then @x else @z]
с переменными:
[b: bool; "x", z :real]

/* SQL

Это понятие - раздел, в котором водятся операции языка
запровов и манипулирования базами данных.

*/.

Введем шаблон "@G-группа"
с переменными:
"G: область"
и переменной результата " t:команда" ;
Пояснения: []

/* Базы данных

Это понятие является разделом - средой для понятий,

bool -область.
f,t -элементы области bool.
AND: bool x bool ->bool.
OR : bool x bool -> bool.
NOT : bool ->bool.

группаПроизведение: группа -> отображение.
Обратный: группа -> отображение.
e: группа -> отображение.

[ПРОСТРАНСТВО],[ВРЕМЯ],[ТЕЛА]-области. % конкретный вид областей не определяется

Тела, время - области.
"Первое тело", "второе тело" : тела.
"Начальный момент", "момент встречи" : время.

/* Задача с равномерным и равноускоренным движением */

Грузовик движется равномерно.

Пешеход равномерно движется со скоростью 4.
Велосипедист движется равномерно.

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

/* Простая задача на равномерное движение */

Автомобиль движется равноускоренно.
Автомобиль's время =0.1.

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

Пешеход равномерно движется со скоростью 5.
Велосипедист равномерно движется со скоростью 6*пешеход's

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