知識処理モデリングのためのオブジェクト タイプ