例えば「りんご」クラスを考えてみる。
サブクラスというのは「ふじ」とか「王林」とか「青りんご」とか。
「ふじ」は「りんご」、「青りんご」は「りんご」。これがis-a関係
「りんご」には「皮」がある、「りんご」には「種」がある。has-a関係
色、味、形とか
「りんご」の「色」は「赤」、「りんご」の「味」は「甘酸っぱい」、「りんご」の「形」は「丸い」。これは属性(プロパティ)
実際にあるりんごは実体(インスタンス)。
アリストテレスの存在論
http://itpro.nikkeibp.co.jp/free/NIP/NIPCO...
によれば、クラスは第一実体、インスタンスは第二実体
http://www.geocities.jp/enten_eller1120/an...
非同一性の想定(NI):「人間は人間である」の人間はそれぞれ別物と考える
自己述定の想定(SP):「人間は人間である」の述語づけられる方(後者)は主語になりうる。
SP & not NI:「~についていわれる」の関係、本質的述語づけ
NI & not SP:「~においてある」の関係、付帯的述語づけ