| 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 a semantic network using a variant of a predicate calculus notation. |
