Отношение

Объекты связываются друг с другом отношениями согласно своим типам:

  1. Иерархии типов:
    • Надкласс – подкласс (B ⊂ A = B является подклассом A, БАШНЯ ⊂ СООРУЖЕНИЕ);
    • Часть – целое (b ⊂ a = b является частью целого a, Купол Эйфелевой башни ⊂ Эйфелева башня );
    • Класс – экземпляр класса (b ϵ B = b является экземпляром класса B, Эйфелева башня ϵ БАШНЯ);
  2. Репрезентация (X отсылает к Y);
  3. Язык описания и мета-язык (мета-язык позволяет интерпретировать язык);
  4. Агент и роль ("Агент играет роль");
  5. Функция и объект, который ее исполняет ("Объект выполняет функцию");
  6. Эпистемические отношения («Верить в» и «допускать, что»);
  7. Отношения предпочтения («Хотелось бы, чтобы» и «обязательно нужно, чтобы»);
  8. Произвольные отношениякортежах).