ее в ссылку на лингвистический объект в одном из подтипов типа
лингвистического объекта, содержащего данный лингвистический объект.
Оператор unqualify делает противоположное; он исключает возможность
использования ссылки для лингвистических объектов соответствующего подтипа.
Оператор "equate" - особый, так как он является следствием реализации
различия между именами и объектами.
Оператор equate устанавливает, что два различных терма ссылаются на одну
и ту же сущность в проблемной области и требуют "нелексической"
идентификации, сохраняя при этом все существующие соглашения о ее
именовании.
Д.3 Грамматика и семантика
Д.3.1 Язык и его связь с проблемной областью
Существуют некоторые общие фундаментальные понятия, характеризующие
грамматику любого языка. К ним относятся:
ТЕРМ
Лингвистический объект, ссылающийся на сущность.
ПРЕДЛОЖЕНИЕ
Лингвистический объект, представляющий определенное высказывание.
ФУНКТОР
Лингвистическийобъект,которыйопределяетфункциюотдругих
лингвистических объектов, имеющую в качестве аргументов (вход) список
лингвистическихобъектов и выдающуювкачествезначения (выход)
единственный уникально определенный лингвистический объект.
Функторы, используемые в подходах на основе бинарных отношений, - это
такие, как предикат, оператор, квантор и т.д.
Можно дать следующую интерпретацию этих понятий на языке, используемом
для определения концептуальной схемы в подходах на основе бинарных
отношений.
ТЕРМЫ
ЭЛЕМЕНТАРНЫЕ ТЕРМЫ - имена типов лингвистических объектов, имена
типов бинарных отношений, имена ролей, индивидуальные имена.
ОПИСАТЕЛЬНЫЕТЕРМЫ- ссылки,связывающиеодинилиболее
лексических объектов (элементарных термов) с нелексическим объектом.
ПРЕДЛОЖЕНИЯ
ЭЛЕМЕНТАРНЫЕ ПРЕДЛОЖЕНИЯ - объявления типов лингвистических