Suponiendo que formula_33 es una relación de equivalencia, y que los agentes son razonadores perfectos, se pueden derivar algunas propiedades del conocimiento.