Отношение

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

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