Esta propiedad y la siguiente establecen que un agente posee introspección acerca de su propio conocimiento, y se los conoce tradicionalmente bajo los nombres de axiomas 4 y 5, respectivamente.