• Предметы.

    См Метафизика Аристотеля

  • Действия.

  • Статические и динамические Связи.

    Статические связывают предметы через внешние свойства.

    Динамические связывают предметы через действия.

    Связи могут быть бинарными или n-арными.

    Статико-динамические связи

  • Внутренние и внешние свойства предметов и действий.

    Внешние свойства возможны только через связи.

    Свойства это тоже предметы, но играющие особую роль

    Выделяют первичное свойство для некоторой точки зрения.

  • ?? Точки зрения.

    ?? Темпоральность. Точки зрения соотнесены со временем. Могут задаваться как функции

  • Срезы. Agendas

    Редукция к простым срезам. Двустороннее обновление среза и оригинала. TwoSideMapping