Type and Role specialization*
Type specialization (e.g. Living being _ Person)
- New features affect identity
- Both necessary and sufficient ICs can be added while specializing types
- Polygon: same edges, same angles
- Triangle: two edges, one angle
- Living being: same DNA, etc...
Role specialization (e.g. Person _ Student)
- New features donít affect identity