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 ofintensional concepts, and to the explication of inheritance in hierarchies are sketched. |
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 theexplication of inheritance in hierarchies are sketched. |
other,21-8-T78-1031,bq |
and 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 ofinheritance in hierarchies are sketched. |
other,23-8-T78-1031,bq |
</term>
of
<term>
inheritance
</term>
in
<term>
|
hierarchies
|
</term>
are sketched . In order to meet the
|
#12208
Applications of path-based inference rules to the representation of the extensional equivalence of intensional concepts, and to the explication of inheritance inhierarchies are sketched. |