Extendiendo la notación para hacerla equivalente a la lógica de primer orden en cuanto a poder expresivo, se pierde la principal ventaja de las redes semánticas, que es la simplicidad y la transparencia del proceso de inferencia.