知識処理モデリングのためのモデル タイプ