Иерархия концепций сформулирована с помощью языка Ontology Interchange Language.
class-def animal % animals («животные») — это класс
class-def plant % plants («растения») — это класс
subclass-of NOT animal % т. е. отличается от животных
class-def tree
subclass-of plant % trees («деревья») — это тип растений
class-def branch
slot-constraint is-part-of % branches («ветви») — это части деревьев
has-value tree
class-def leaf
slot-constraint is-part-of % leaves («листья») — это части ветвей
has-value branch
class-def defined carnivore % carnivores («плотоядные») — это животные
subclass-of animal
slot-constraint eats % которые едят других животных
value-type animal
class-def defined herbivore % herbivores («травоядные») — это животные, но не плотоядные
subclass-of animal, NOT carnivore
slot-constraint eats % которые едят растения или части растений
value-type plant
OR (slot-constraint is-part-of has-value plant)
class-def giraffe % giraffes («жирафы») — это травоядные
subclass-of herbivore
slot-constraint eats % и они едят листья
value-type leaf
class-def lion
subclass-of animal % lions («львы») — тоже животные
slot-constraint eats % но они едят травоядных
value-type herbivore
class-def tasty-plant % tasty-plants («съедобные растения») — это растения,
subclass-of plant % которые едят и травоядные, и плотоядные
slot-constraint eaten-by
has-value herbivore, carnivore
