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

Заменить термин "область" типа область
на "class"
[Элементами этого класса являются классы].

Заменить термин " bool_выражение" типа class
на "bool expresion"
[Элементами этого класса являются классы].

Заменить шаблон "@N - область"
с переменными:
"N :new"
и типом результата команда
на [@N is a class]
и пояснением [Create class with name N.].

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