Partial overlap requires three kinds of instances:
1. Intersection: both predicates are true, as in a white duck.
2. First exclusive region: animal but not white, as in a dark horse.
3. Second exclusive region: white but not animal, as in snow.
Showing only a shared instance leaves equality or inclusion possible. Showing an exclusive instance on only one side also fails to settle the relation. A shared case plus a distinct case on each side establishes partial overlap.
Opening interactive controls...
Four Relations Between Universals and Relative Particularity
Partial overlap requires three kinds of instances:
1. Intersection: both predicates are true, as in a white duck.
2. First exclusive region: animal but not white, as in a dark horse.
3. Second exclusive region: white but not animal, as in snow.
Showing only a shared instance leaves equality or inclusion possible. Showing an exclusive instance on only one side also fails to settle the relation. A shared case plus a distinct case on each side establishes partial overlap.