| other,13-2-T78-1031,ak | path of arcs </term> between two given <term> | nodes | </term> to be inferred from the existence | #13013 Path-based inference allows an arc or a path of arcs between two givennodes to be inferred from the existence of another specified path between the same two nodes. | |
| other,13-8-T78-1031,ak | <term> extensional equivalence </term> of <term> | intensional concepts | </term> , and to the explication of <term> | #13135 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,28-2-T78-1031,ak | <term> path </term> between the same two <term> | nodes | </term> . <term> Path-based inference rules | #13028 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. | |
| model,18-4-T78-1031,ak | the existence of an instance of a <term> | pattern | </term> of <term> node structures </term> . <term> | #13061 Node-based inference allows a structure of nodes to be inferred from the existence of an instance of apattern of node structures. |
