| other,13-2-T78-1031,bq | path of arcs </term> between two given <term> | nodes | </term> to be inferred from the existence | #12076 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 two nodes. |
| 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 two nodes . |
| other,6-4-T78-1031,bq | </term> allows a <term> structure </term> of <term> | nodes | </term> to be inferred from the existence | #12112 Node-based inference allows a structure of nodes to be inferred from the existence of an instance of a pattern of node structures. |
| other,23-8-T78-1031,bq | </term> of <term> inheritance </term> in <term> | hierarchies | </term> are sketched . In order to meet | #12208 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. |
