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