объектов, типов бинарных отношений.
посредством
ТЕРМАМи
определения
ФУНКТОРНЫЕ ПРЕДЛОЖЕНИЯ - предложения, полученные
примененияфункторов(главнымобразом,предикатов)к
ЭЛЕМЕНТАРНЫМПРЕДЛОЖЕНИЯМииспользуемыедля
ограничений.
Элементарные предложения (объявления) строятся, главным образом, при
помощи примитивного предиката "является" в некоторой эквивалентной форме (а
именно - "добавить" экземпляр "мостика"). Этот предикат связывает терм на
уровне концептуальной схемы с термом на метаконцептуальном уровне,
содержащем такие имена, как "ТИП ОБЪЕКТА" и "ТИП ИДЕИ". Другими
примитивными предикатами в модели являются "является-подмножеством",
"имеет-роли" и "связывает-с", которые используются в объявлении ролей для
типов идеи, мостика и фразы.
На практике можно еще найти полезные примитивные (или полупримитивные)
предопределенные предикаты, описывающие логическое представление для
типов лексических объектов, но здесь они не рассматриваются, чтобы не
отвлекаться от существенных вопросов.
Д.3.2 Формальный синтаксис
(R1) концептуальная схема= "begin"
"CONCEPTUAL-SCHEMA called" имя-
схемы ;
объявление-nolot {объявленне-nolot}
объявление-lot {объявление-lot}
{объявление-подтипа}
{объявление-идеи}
объявление-мостика {объявление-мостика}
{объявление-фразы}
{объявление-ограничения}
"end".