Dans le réseau représentant la base de connaissances, les nuds sont des termes et les arcs des instances de règles d'inférence.