Без заголовка

Таксономии не решают всех проблем. и их пытаются решить онтологии. В качестве практического примера http://mitpress.mit.edu/sicp/full-text/book/book-Z-H-18.html#%_fig_2.26