Unified Fundamental Ontology: Part A

В основу онтологии положено понятие фундаментального различия между двумя категориями: Particular (Individual) и Universal (Type). Particulars — сущности, которые существуют в реальности и обладают уникальной индивидуальностью. Universals, наоборот, представляют собой шаблоны характеристик, которые могут быть представлены несколькими различными индивидуальностями (Particulars).

В рамках онтологии также вводится понятие Substances — экзистенционально независимые индивидуальности (Particulars). Понятие Момент (Moment), напротив, обозначает индивидуализированное свойство/характеристику, которое не может существовать без других индивидуальностей. Типичным примером моментов является цвет, связь, признак; электрический заряд — может существовать только при наличии проводника. Другими словами, моменты экзистенционально зависят от других индивидуальных сущностей. Понятие экзистенциональной зависимости используется для разграничения понятий intrinsic moments — моменты, зависящие от одной индивидуальной сущности (например, цвет, головная боль), и relators — моменты, зависящие от множества индивидуальностей (например, трудоустройство, медицинская страховка, свадьба). Наконец, в рамках онтологии водятся категории substantial universal и moment universal. Концептуальное понятие Intrinsic moment может быть представлено как некая абстрактная позиция в качественной структуре в человеческом познании.

Отношения (Relations) — это сущности которые соединяют другие сущности. В философской литературе часто выделяют две категории отношений — материальные и формальные. Формальные отношения устанавливаются между двумя или более сущностями напрямую, к ним относятся отношения экзистенциональной зависимости, отношения part-of, subset-of, instantiation и другие. Материальные отношения имеют материальную структуру и включают следующие примеры отношений: working at, being enrolled at, being connected to. Пример формального отношения — отношение между студентом и его знанием английского языка, для этого должны существовать две сущности — студент и язык. Пример материального отношения being enrolled at — между студентом и образовательным учреждением, для существования этого отношения необходима еще одна сущность, которая будет играть роль посредника между первыми двумя сущностями, называемая Relator.

Relators — индивидуальности, обладающие властью соединять другие сущности. Например, медицинская страховка соединяет пациента с медицинским учреждением, зачисление соединяет студента с образовательным учреждением, ковалентная связь соединяет два атома.

Наконец, в рамках фрагмента онтологии UFO-A рассматривается понятие ситуаций (Situations) — сложных сущностей, состоящих из множества сущностей. Пример ситуации: «Мари была замужем за Полом, который работал в Университете». Также вводится отношение «being present at», с помощью которого можно описывать присутствие сущности в ситуации.