Ядро системы
Если сделать "Ядро системы" текущей онтологией, то можно увидеть текст онтологии, поясняющей ее содержание.
Если сделать онтологию "Ядро системы" средой, то в этой среде вы можете определить новую онтологию используя все возможности языка шаблонов ядра системы.
Нажав на пункт меню "Словарь", вам откроется словарь всех шаблонов языка ядра, с помощью которых вы можете описать новые онтологии, определяя новые классы (области), новые элементы классов, новые функции и связать их отношениями класс-подкласс и равенствами. В словаре имеются шаблоны для определения новых конструкций языка: новые шаблоны, синонимы, новые типы комментарий.
Кроме того,в языке ядра системы имеются шаблоны для формулирования вопросов к онтологии, включая:
"Элементы области @Области?"
"Подобласти области @Область?"
"Чему равно @выражение?".