| 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. | |
| tech,15-5-T78-1031,ak | network </term> using a variant of a <term> | predicate calculus notation | </term> . <term> Path-based inference </term> | #13081 Node-based inference rules can be constructed in a semantic network using a variant of apredicate calculus notation. | |
| model,8-5-T78-1031,ak | rules </term> can be constructed in a <term> | semantic network | </term> using a variant of a <term> predicate | #13074 Node-based inference rules can be constructed in asemantic network using a variant of a predicate calculus notation. | |
| model,6-1-T78-1031,ak | performing <term> inference </term> in <term> | semantic networks | </term> are presented and compared . <term> | #12993 Two styles of performing inference insemantic networks are presented and compared. |
