"имени-роли" должны быть различными, если они
определены "на" том же NOLOT
(S9)То же, что и (S4)
(S10)ДобавляетсяэкземплярИДЕИсоднозначно
идентифицирующим именем "имя-идеи"
(R8)(S11)То же, что и (S8)
(S12)Должны уже существовать упомянутые LOT и NOLOT
(S13)То же, что и (S10) с соответствующими изменениями
(S14)Упомянутый LOT не должен появиться в другом
объявлении МОСТИКА
(R9)(S15)То же, что и (S8) с соответствующими изменениями
(S16)То же, что и (S6)
(S17)То же, что и (S10) с соответствующими изменениями
(R10)(S18)Экземпляр ОГРАНИЧЕНИЯ добавляется с однозначно
идентифицирующим именем "имя-ограничения"
(S19)"Предложение"должносинтаксическиправильно
описыватьпредикат(функтор),которыйдолжен
сохраняться истинным всегда (для всех состояний
информационной базы)
не могут противоречить друг
невозможности заполнения
(S20)Никакие два ограничения
другу (это приводит к
информационной базы)
(S21)Набор всех ограничений считается исчерпывающим
списком всех существующих правил или ограничений
длявсехсостоянийинформационнойбазы,т.е.
экземпляр бинарного отношениявводится в
информационную базу только при условии, если ни одно
ограничение не нарушается