other,10-8-T78-1031,bq | </term> to the representation of the <term> | extensional equivalence | </term> of <term> intensional concepts </term> | #12195 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. |