Domain:

crmsci:S1 Matter Removal

Range:

crmsci:S10 Material Substantial

Quantification:

0,n:1,n

Superproperty of:

• crm:E80 Part Removal → crm:P112 diminished (was diminished by) → crm:E18 Physical Thing

Scope note:

This property associates an instance of S1 Matter Removal with the instance of S10 Material Substantial that this activity diminished.

Although an instance of S1 Matter Removal activity normally concerns only one item of S10 Material Substantial, it is possible to imagine circumstances under which more than one item might be diminished by a single Matter Removal activity.

An instance S1 Matter Removal activity requires to diminish at least one item of S10 Material Substantial. This may be realized by any of the subproperties of O1 diminished. Therefore the instantiation of a particular subproperty of O1 diminished is not necessary.

Examples:

The removal of the fill from the interior of the ‘tomb of Lagadas’ at Derveni Thessaloniki by the excavators in 1995 (S1) diminished the width of the cross-section of the burial chamber and the fill of the façade. (S10) (Papasotiriou et al., 2010).

In First Order Logic:

• O1(x,y) ⇒ S1(x)
• O1(x,y) ⇒ S10(y)