↑: [[is-a関係はAはBの一種であるという関係]] - [[知識表現]]において上位の性質を下位が引き継ぐこと - [[is-a関係]]は継承が起きる場合がある（鳥は卵を産むならペンギンも産むは真） - 継承が起きない場合もある(鳥は飛べるならペンギンは飛べるは偽)