クラスの履歴

例えば「りご」クラスを考えてみる。

サブクラスというのは「ふじ」とか「王林」とか「青りご」とか。
「ふじ」は「りご」、「青りご」は「りご」。これがis-a関係

「りご」には「皮」がある、「りご」には「種」がある。has-a関係

色、味、形とか
「りご」の「色」は「赤」、「りご」の「味」は「甘酸っぱい」、「りご」の「形」は「丸い」。これは属性(プロパティ)

実際にあるりごは実体(インスタンス)。

アリストテレスの存在論

http://itpro.nikkeibp.co.jp/free/NIP/NIPCOLUMN/20021126/1/
によれば、クラスは第一実体、インスタンスは第二実体

http://www.geocities.jp/enten_eller1120/ancient/arist.html
非同一性の想定(NI):「人間は人間である」の人間はそれぞれ別物と考える
自己述定の想定(SP):「人間は人間である」の述語づけられる方(後者)は主語になりうる。

SP & not NI:「~についていわれる」の関係、本質的述語づけ
NI & not SP:「~においてある」の関係、付帯的述語づけ