オントロジーは一般的に概念階層によって設計されるが，その概念階層の整合性を判断するには，概念階層を形式的に定義する必要がある．Description Logicやオーダーソート論理をはじめとする論理型言語は，概念階層のための表現を備えており，オントロジー記述言語に理論的な基盤を与えることができる．しかしそこで定義される概念階層は，個体の集合を示したクラス表現の階層に限られている．本論文では，実際のオントロジー設計において様々な自然言語の語彙で概念階層が構築されることを想定して，クラス表現に限定しない，ソート，定数，関数および述語の非論理記号が混ざり合った概念階層を形式化する．そのうえで，この複雑な概念階層を安全に構築する方法を提案する．