| other,23-2-T78-1031,bq | the existence of another specified <term> | path | </term> between the same two <term> nodes </term> | #12086 Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specifiedpath between the same two nodes. |
| 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 theextensional equivalence of intensional 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,28-2-T78-1031,bq | <term> path </term> between the same two <term> | nodes | </term> . <term> Path-based inference rules | #12091 Path-based inference allows an arc or a path of arcs between two given nodes to be inferred from the existence of another specified path between the same twonodes. |
| tech,7-6-T78-1031,bq | inference </term> is more efficient , while <term> | node-based inference | </term> is more general . A method is described | #12155 Path-based inference is more efficient, whilenode-based inference is more general. |
