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 a predicate calculus notation . |