other,21-8-T78-1031,bq | to the <term> explication </term> of <term> | inheritance | </term> in <term> hierarchies </term> are sketched | #12206 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. |