Scope note:
This property identifies the E24 Physical Man-Made Thing that was diminished by E80 Part Removal.
Although a Part removal activity normally concerns only one item of Physical Man-Made Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single Part Removal activity.
Examples:
- the coffin of Tut-Ankh-Amun (E22) was diminished by The opening of the coffin of Tut-Ankh-Amun (E80)
In First Order Logic:
P112(x,y) ⊃ E80(x)
P112(x,y) ⊃ E24(y)
P112(x,y) ⊃ P31(x,y)