other,13-8-T78-1031,bq | <term> extensional equivalence </term> of <term> | intensional concepts | </term> , and to the <term> explication </term> | #12198 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. |