OCLにおいて、オブジェクトの型をチェックする操作 `oclIsTypeOf(T)` は、対象がTのサブクラスのインスタンスである場合に何を返すか。

`oclIsTypeOf`は「厳密にその型であるか」を問うため、サブクラスのインスタンスに対してはFalseを返す(サブクラスも含める場合は`oclIsKindOf`を使う)。