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

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

Л - объект понятия "равномерное движение".
Л's скорость=10.
Л's время=2.
%Л's путь?
.

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

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

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

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

кличка : new.
порода : new.
"год рождения" : real.

Введем шаблон "X_var"
с переменными:
""
и переменной результата " n:real " ;

Введем шаблон "@r1 $ @r2"
с переменными:
"r1,r2 : real"
и переменной результата " r3 : real" ;

M1, M2 : множество.
M1={{a}U{a}} П {1}.

M2={{a},{a,b}} U {{b,a}}.

S1,S2: множество.S3: множество.
s1 п s1 = S3.
S1=M2.
/*S3? */.

/* Использованы примеры из книги Цаленко

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

[объекты] - область.

D-область.
"a","b"- элементы области D.
a=b.
сообщение : "ПРЕДЫДУЩЕЕ ВЫРАЖЕНИЕ ВЫЗВАЛО ПРОТИВОРЕЧИЕ"

Используем понятие [Спецификация деталей].

Используем определение понятия [Поставщики].

Используем понятие [E-R модель].
[поставщик] - это сущность.

Свойства поставщик :

Person is a class.
Nik - Person.

/* Пример, в котором синонимы вводятся с поощью равенства
*/
ф, ф1- области.
с1, с2 - элементы области ф.
ф1=ф.
я=ф.

A, B,C- области.
B=A.

a1, a2 - элементы области A.
Ввести синоним шаблона "A"
с переменными:
""

Введем шаблон " @x1 div @x2"
с переменными:
"x1: слагаемое; x2 : степенное real_выражение "

/* 171! - выдается переплнение */
w= 170!.

/* Пример вопроса:
w?
*/.