Команды
Удалить шаблон "@текст_шаблона"
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
new , new , область
Шаблон для удаления шаблона.
Текст шаблона:
Удалить шаблон "@текст_шаблона"
с переменными типа:
d_templ
@A_new - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Создается новый класс A, как подкласс класса B.
make_subobject
Используем понятие @Имя_понятия
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
New
Новый термин - имя онтологии в кавычках или в квадратных скобках.
var(ex("new",[]))
Вводит понятие (онтологию) в текущее понятие (онтологию), если у них нет пересечений по терминам, но могут общи
loadInConcept
@New_Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]
Новая Область1 делается подобластью Области2.
make_subobject
Используем текст понятия @Имя_онятия
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
new - новый термин - имя онтологии в кавычках или в квадратных скобках.
ex("new",[])
Вводится понятие по тексту в текущее понятие
calc_defin
@New_Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Новая Область1 делается подобластью Области2.
make_subobject
Найти @выражение
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
