Текущая онтология
Построить всё
Сохранить черновик
Окончательное сохранение
Команда
Новая команда
Словари
Все внешние шаблоны
Все шаблоны текущей онтологии
Все шаблоны текущей онтологии и среды
Продукции
Сообщения
Установить
Текущая онтология:
Версия:
Разработано в среде:
Ядро системы
Статус:
Построена
Автор:
Необработанная часть текста:
Сообщения:
@n is a class@@@###@u & @v@@@###@u v @v@@@### ~@u @@@###@тело равномерно движется со скоростью @v@@@###@G-группа@@@###%% @@@###/* */@@@###[ ]@@@###" "@@@###Заменить термин "@Термин" типа @Тип на "@Новый_термин" [@текст_пояснения]@@@###"@текст_синонима" - новый синоним @термина [@комментарий]@@@###@термин1 - синоним @термин2@@@###Nil@@@###First_element(@list)@@@###Second(@list)@@@###First_list(@list)@@@###Ввести синоним шаблона "@текст_шаблона" с переменными: "@список_переменных" и типом результата @тип на [@Новый_шаблон_с_теми_же_переменными] и пояснением [@текст_пояснения]@@@###"@текст_синонима" - новый синоним @термин@@@###Для всех[ @Список_переменных ] [ @Term ] => [ @Term ] ("@Название правила")@@@###Для всех[ @Список_переменных ], если[ @условие ], то [ @Term ] => [ @Term ] ("@Название правила"), если, кроме того,[@Post_condition]@@@###Наследуем понятие @Имя_понятия@@@###Заменить шаблон "@текст_шаблона" с переменными: "@список_переменных" и типом результата @тип на [@Новый_шаблон_с_теми_же_переменными] и пояснением [@текст_пояснения]@@@###пустая команда@@@###Внешние шаблоны типа &term ?@@@###@Имя_экземпляра's @шаблон@@@###@имя - объект понятия @понятие@@@###тип(@term)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@Выр принадлежит @Обл@@@###@A содержится в @B@@@###if @expr_bool then @term else @term@@@###@term<>@term@@@###False@@@###True@@@###~@simple_bool@@@###@conj_bool & @simple_bool@@@###@dizj_bool V @conj_bool@@@###@impl_bool --> @dizj_bool@@@###@expr_bool <--> @impl_bool@@@###@item_set П @set@@@###@expr_set - @item_set@@@###@expr_set U @item_set@@@###{@term}@@@###empty@@@###{@list}@@@###{}@@@###@переменная : @тип_переменной@@@###@el1 ; @el2@@@###@функция(@элемент)@@@###.@@@###@область п @область@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@список_переменных : @тип_переменной@@@###{@правильное_выражение}@@@###@составная_команда @команда@@@###@команда ;@@@###@предложение @текст@@@###Select @Области from @Область@@@###Таблица свойств @Об_признаки для @Область@@@###Подобласти области @Область: @Области@@@###Подобласти @Область: @Области@@@###Свойства @Область ?@@@###Свойство @Области : @новое_свойство@@@###Свойство @Области : @свойство@@@###Свойства @Области : @список_свойств@@@###@Область_свойства of @Области@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###отображение с именем @Имя@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###область с именем @Имя@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###имя отображения @f1@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###имя области @T1@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Имена отображений@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###свойства@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Имена областей@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###свойство @Область: @Имя@@@###атрибут @Область: @Имя_атрибута@@@###Используем определение понятия @Имя@@@###Каков мир текущего понятия?@@@###термины отображений@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###термины областей@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###(@term)@@@###@list,@term@@@###=(@Mor,@Mor)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###=(@Ob,@Ob)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Im @функция(@подобласть)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###вложение @T1 в @T2@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###isom_ver_dom(@Ins)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###ver_dom(@Pred)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###char_mor(@Ins)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###ложь@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###нет@@@###true_cat@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###истина@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###да@@@###omega@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###lambda(@F,@T;@T1)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###ev(@T1,@T2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@Обл1 => @Обл2@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###in_eq(@От1,@От2;@От)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###mor_eq(@f1,@f2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###equaliser(@f1,@f2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###{@f1,@f2}@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###in2(@T1,@T2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###in1(@T1,@T2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@T1 + @T2@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###<@f1,@f2>@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###pr2(@T1,@T2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###pr1(@T1,@T2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@T1 x @T2@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###1(@)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###1@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Точка@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###0(@)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###0@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###/\@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Пусто@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@NewF: @X -> @Y@@@###@F: @X -> @Y@@@###com(@f1,@f2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###композиция(@f1 и @f2)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###@f1 * @f2@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###cod(@f)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###область значений @f@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###dom(@f)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###область определения @Отображение@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###id (@Область)@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###тождественное отображение @Область@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###понятия системы@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###термины текущего понятия@@@Текст: % Типы аргументов: % Тип результата: % Пояснение: %###Какие дескрипторы?@@@###Какие противоречия?@@@###Максимальные подобласти @Области?@@@###Подобласти области @Область?@@@###Элементы области @Области?@@@###@Эл - @Обл@@@###@Выр элемент @Обл@@@###@Область2 < @Область1 @@@###@A - подобласть @B@@@###Равны ли @A и @B@@@###Чему равно @выражение?@@@###@выражение - @область@@@###@новый_элемент - элемент области @область@@@###@элементы - элементы области @область @@@###Пусть @выражения - @область@@@###@New_Область1 - это @Область2@@@###@New_Область1 < @Область2@@@###@A_new - подобласть области @B@@@###@Область1 - это @Область2@@@###@Область1 < @Область2@@@###@A - подобласть области @B@@@###@Выраж1_ob не равно @Выраж2_ob@@@###@Выраж1_mor не равно @Выраж2_mor@@@###Приравнять @От1 к @От2@@@###@tepm1 = @term2 @@@###@Список_имен - отображения@@@###@Имя - отображение@@@###@Список_имен - области@@@###@Имя - область@@@###@A == @B@@@###Вычислить@@@@###Найти @выражение @@@###Используем текст понятия @Имя_онятия@@@###Используем понятие @Имя_понятия@@@###Сообщение: @@@@###Удалить шаблон "@текст_шаблона" с переменными типа: "@список_переменных" и типом результата @Тип@@@###Введем шаблон "@текст_шаблона" с переменными: "@список_переменных" и переменной результата " @переменная_:_Тип " ; Пояснения: [@текст_пояснения] Условие применения шаблона: [@список_условий] Действие шаблона: [@действие] Тип доступа шаблона:[@внешний_наследуемый_локальный]@@@###@text_question ?@@@###@command . @@@###@expr_real > @expr_real @@@###@expr_real < @expr_real @@@###Ввести области @ob_list@@@###@simplexpr ^ @index @@@###@minusitem / @index @@@###@minusitem * @index @@@###@item / @index @@@###@item * @index @@@###@expr_real - @item @@@###@expr_real + @item @@@###- @index @@@###