| other,4-2-T78-1031,bq | Path-based inference </term> allows an <term> | arc | </term> or a <term> path of arcs </term> between | #12067 Path-based inference allows anarc 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,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 givennodes 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 ofnodes to be inferred from the existence of an instance of a pattern of node structures. |
| other,2-8-T78-1031,bq | strengths of each . Applications of <term> | path-based inference rules | </term> to the representation of the <term> | #12187 Applications ofpath-based inference rules to the representation of the extensional equivalence of intensional concepts, and to the explication of inheritance in hierarchies are sketched. |
| other,8-5-T78-1031,bq | rules </term> can be constructed in a <term> | semantic network | </term> using a variant of a <term> predicate | #12137 Node-based inference rules can be constructed in asemantic network using a variant of a predicate calculus notation. |
