Команды
Найти @выражение
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм
var(ex("term",[]))
Вычисляется выражение, исходное выражение помещается в текст.
calculate
@элементы - элементы области @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
список терминов и термов, терм класса (области). Новые термины из нескольких слов заключаются в кавычки.
Шаблон для создания новых элементов области.
make_elements
Вычислить@
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
текст вопроса
var(ex("question",[]))
Вычисление вопроса в тексте онтологии. При этом возможно изменение внутреннего представление онтологии.
calculate
@новый_элемент - элемент области @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин, выражение, задающее класс (область).
Создается новый элемент области.
make_element
@Имя - область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин. Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.
Вводится область (новые области из нескольких слов должны записываться в кавычках).
object
@выражение - @область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм; выражение, задающее класс (область)
ex("term",[]); ex("ob",[])
Выражение делается элементом области.
make_element
@Список_имен - области
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
список новых терминов, отделенных запятыми
var(ex("list",[]))
Вводятся несколько новых областей (классов) с указанными именами.
objects
@F: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
отображение, область, область
ex("mor",[]), ex("ob",[]), ex("ob",[])
Строится отображение F из X в Y.
mk_mor
@Имя - отображение
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.
Вводится новое отображение с указанным именем.
morphism
@NewF: @X -> @Y
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
новый термин, область, область
ex("new",[]), ex("ob",[]), ex("ob",[])
Строится новое отображение F из X в Y.
mk_mor