オブジェクト間の概念の上下関係が定義できる。

平行四辺形

IS A: 「である」

A Kind Of: 「の一種」

「菱形は平行四辺形である」

菱形

菱形 =< 平行四辺形

「正方形は菱形の一種」

正方形

正方形=< 菱形