Создание областей, отображений и элементов
Ввести области @ob_list
Submitted by admin on сб, 2007-04-21 20:00.Команда.
ex("command",[])
Список новых имен областей, отделенных запятыми.
var(ex("list",[]))
Вводятся несколько областей (классов).
objects
@Имя - область
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин. Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.
Вводится область (новые области из нескольких слов должны записываться в кавычках).
object
@Список_имен - области
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
список новых терминов, отделенных запятыми
var(ex("list",[]))
Вводятся несколько новых областей (классов) с указанными именами.
objects
@Имя - отображение
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новый термин.
Термин, состоящий из нескольких слов, должен быть заключен в кавычки или в квадратные скобки.
Вводится новое отображение с указанным именем.
morphism
@Список_имен - отображения
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
var(ex("list",[])),w("-"),w("отображения")
Вводятся несколько новых отображений с указанными именами.
morphisms
@A - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область A делается подобластью в B.
make_subobject
@Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
область, область
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
@Область1 - это @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
терм класса, терм класса
var(ex("ob",[])), var(ex("ob",[]))
Область1 делается подобластью Области2.
make_subobject
@A_new - подобласть области @B
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
новый термин, терм класса
var(ex("new",[])), var(ex("ob",[]))
Создается новый класс A, как подкласс класса B.
make_subobject
@New_Область1 < @Область2
Submitted by admin on сб, 2007-04-21 20:00.команда
ex("command",[])
Новое имя (строка в кавычках или в квадратных скобках), выражение, задающее класс
ex("new",[]), ex("ob",[]
Новая Область1 делается подобластью Области2.
make_subobject
