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

Ну вот есть термины/словосочетания (в общем смысле - названия множеств). Их можно упорядочить иерархически (по схеме Подмножество->Множество->Надмножество). Соответствие иерахии терминов реальности человек может проверить. Кто и как проверит, что, например, концепт №45689 - часть концепта №45688?