Команды

Введем шаблон "@текст_шаблона"

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

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

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

new , new , new , new , new , new , new

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

Шаблон для определения нового шаблона:

Введем шаблон "@текст_шаблона"
с переменными:
"@список_переменных"

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

new_in_template

@Область1 - это @Область2

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

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

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

терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))

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

Область1 делается подобластью Области2.

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

make_subobject

Удалить шаблон "@текст_шаблона"

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

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

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

new , new , область

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

Шаблон для удаления шаблона.

Текст шаблона:

Удалить шаблон "@текст_шаблона"
с переменными типа:

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

d_templ

@A_new - подобласть области @B

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

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

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

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

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

Создается новый класс A, как подкласс класса B.

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

make_subobject

Используем понятие @Имя_понятия

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

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

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

New
Новый термин - имя онтологии в кавычках или в квадратных скобках.
var(ex("new",[]))

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

Вводит понятие (онтологию) в текущее понятие (онтологию), если у них нет пересечений по терминам, но могут общи

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

loadInConcept

@New_Область1 < @Область2

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

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

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

Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]

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

Новая Область1 делается подобластью Области2.

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

make_subobject

Используем текст понятия @Имя_онятия

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

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

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

new - новый термин - имя онтологии в кавычках или в квадратных скобках.
ex("new",[])

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

Вводится понятие по тексту в текущее понятие

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

calc_defin

@New_Область1 - это @Область2

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

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

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

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

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

Новая Область1 делается подобластью Области2.

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

make_subobject

Найти @выражение

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

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

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

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

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

Вычисляется выражение, исходное выражение помещается в текст.

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

calculate

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

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

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

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

список терминов и термов, терм класса (области). Новые термины из нескольких слов заключаются в кавычки.

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

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

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

make_elements

RSS-материал