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