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