Изменения
→Элементы
|-
| style="background:#eaecf0;" | '''Экземпляры (объекты)'''
| базовые Базовые или "наземные" объекты(индивиды).| {{---}}Мария, 1, Солнце.
|-
| style="background:#eaecf0;" | '''Классы (понятия)'''
| наборыНаборы, коллекции, концепции, классы в программировании, типы объектов или виды вещей. | {{---}}Человек, Число, Звезда.
|-
| style="background:#eaecf0;" | '''Атрибуты'''
| аспектыАспекты, свойства, признаки, характеристики или параметры, которые могут иметь объекты (и классы). | {{---}}Возраст: 21, Чётность: нет, Спектральная классификация: жёлтый карлик.
|-
| style="background:#eaecf0;" | '''Отношения'''
| способыСпособы, которыми классы и индивиды могут быть связаны друг с другом. | {{---}}|-| style="background:#eaecf0;" | '''Термы функций''' | сложные структуры, образованные из определенных отношений, которые могут быть использованы вместо отдельного термина в высказывании. | {{---}}|-| style="background:#eaecf0;" | '''Ограничения''' | формально заявленные описания того, что должно быть истинным для того, чтобы какое-то утверждение было принято в качестве входных данныхЛюди являются Животными. | {{---}}
|-
| style="background:#eaecf0;" | '''Правила'''
| высказывания Высказывания в форме предложения if-then (антецедент-консеквент), описывающие логические выводы, которые могут быть сделаны из утверждения в определенной форме. | {{---}}Если <tex>X</tex> смертен, то <tex>X</tex> умрёт.
|-
| style="background:#eaecf0;" | '''Аксиомы'''
| утверждения Утверждения (включая правила) в логической форме, которые вместе составляют общую теорию, которую онтология описывает в своей области применения. Это определение отличается от определения "аксиом" в [[Исчисление_высказываний|формальной логике]]. В этой дисциплине аксиомы включают только утверждения, утверждаемые как априорное знание. Здесь же "аксиомы" также включают в себя теорию, полученную из аксиоматических утверждений. | Человек смертен. Сократ {{---}}человек.
|-
| style="background:#eaecf0;" | '''События'''
| изменение Изменение атрибутов или отношений. | {{---}}<tex>X</tex> умер (<tex>X</tex> больше не является живым).
|}
