Si está representando el conocimiento de más de un agente, entonces se agregan subíndices al operador (formula_1, formula_2, etc.) para indicar cuál es el agente al que se está haciendo referencia.