Именуемые члены множеств (индивидуумы)

Frend позволяет рассматривать любой Фрейм как тип (класс — множеством однотипных индивидуумов) и создавать именуемые члены этого множества — индивидуумы.

Именуемые члены создаются с помощью  Предиката «Имя».

Для доступа к индивидууму используется символ двойное двоеточие после названия Типа.

Пример: Создаем именованного члена для множества «Кот», затем задаем и получаем информацию о нем:

Кот имя Васька.

Кот::Васька имеет злой характер.