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