⊤ ⊑ ∀ r . C означает, что все, что имеет отношение r с чем-либо, должно иметь это отношение с экземпляром C . 100 r . C представляет класс вещей таким, что, когда они имеют отношение r к чему-либо, то это отношение имеет экземпляр C . Например, 101 hasParent. Person представляет вещи, в которых люди являются родителями. Также могут быть вещи, родители которых не являются людьми, например, кошки и собаки. Делая класс суперклассом ⊤, вы гарантируете, что все , имеющее отношение, имеет его с членом C . Таким образом, вы гарантируете, что диапазон отношения составляет C .
Теперь мы не пишем ⊤ ≡ ∀ r . C , потому что запись X ≡ Y является сокращением для { X ⊑ Y , Y ⊑ X } и для любого понятия X всегда верно, что X ⊑ ⊤. Таким образом, запись ⊤ ≡ ∀ r . C будет избыточной.
Ваш пример с eats и Food является хорошим примером. Все, что что-то ест, ест пищу. Или, иначе говоря, в форме, более близкой к форме аксиомы: «всякий раз, когда что-то имеет отношение eats к чему-либо, то это отношение к элементу класса Food. Конечно, на естественном языке мы не выражайте это утверждение таким образом, поскольку оно звучит очень запутанно.
Обратите внимание, что эквивалентный способ представления диапазона: 10 r - .⊤ ⊑ C , где r - - обратная роль r .