Команды

Вычислить@

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

текст вопроса
var(ex("question",[]))

Комментарий: 

Вычисление вопроса в тексте онтологии. При этом возможно изменение внутреннего представление онтологии.

Имя операции: 

calculate

@новый_элемент - элемент области @область

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин, выражение, задающее класс (область).

Комментарий: 

Создается новый элемент области.

Имя операции: 

make_element

@Имя - область

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин. Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

Комментарий: 

Вводится область (новые области из нескольких слов должны записываться в кавычках).

Имя операции: 

object

@выражение - @область

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм; выражение, задающее класс (область)
ex("term",[]); ex("ob",[])

Комментарий: 

Выражение делается элементом области.

Имя операции: 

make_element

@Список_имен - области

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

список новых терминов, отделенных запятыми
var(ex("list",[]))

Комментарий: 

Вводятся несколько новых областей (классов) с указанными именами.

Имя операции: 

objects

@F: @X -> @Y

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

отображение, область, область
ex("mor",[]), ex("ob",[]), ex("ob",[])

Комментарий: 

Строится отображение F из X в Y.

Имя операции: 

mk_mor

@Имя - отображение

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.

Комментарий: 

Вводится новое отображение с указанным именем.

Имя операции: 

morphism

@NewF: @X -> @Y

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])

Комментарий: 

Строится новое отображение F из X в Y.

Имя операции: 

mk_mor

@Список_имен - отображения

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

var(ex("list",[])),w("-"),w("отображения")

Комментарий: 

Вводятся несколько новых отображений с указанными именами.

Имя операции: 

morphisms

@tepm1 = @term2

Тип результата: 

команда
ex("command",[])

Шаблон разработан в понятии: 
Тип аргументов: 

терм, терм
var(ex("term",[])), var(ex("term",[]))

Комментарий: 

Полагаются равными два выражения.

Имя операции: 

make_equal

RSS-материал