Kripkeフレームクラス