other,19-8-T78-1031,bq | intensional concepts </term> , and to the <term> | explication | </term> of <term> inheritance </term> in <term> | #12204 Applications of path-based inference rules to the representation of the extensional equivalence of intensional concepts, and to the explication of inheritance in hierarchies are sketched. |