Иерархия концепций сформулирована с помощью языка 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

Поделитесь материалом с коллегами и друзьями