other,8-5-T78-1031,bq | <term> Node-based inference rules </term> can be constructed in a <term> semantic network </term> using a variant of a <term> predicate calculus notation </term> . | #12137 Node-based inference rules can be constructed in a semantic network using a variant of a predicate calculus notation. |