すなわち、"k""i" ("e")は、事象 "e" が起こっていることをエージェントが知っているような状態の集合である。