В работе исследуются свойства терминологических сетей как методологии конструирования понятийных структур. Выявлен набор структурно-топологических свойств диаграмм решеток формальных понятий, позволяющий также характеризовать системы родовидовых связей терминологических сетей. Обосновывается выбор фрагмента терминологического пространства в качестве объекта исследования. Приводятся и обсуждаются результаты вычислительного эксперимента, формулируются выводы о возможности привлечения методов формального анализа понятий для построения и верификации терминологических сетей.We are considering the question of the application of formal concept analysis for the design and verification of terminological networks.