:P112_diminished leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P112_diminished a rdf:Property ;
    rdfs:label "verminderte"@de,
        "εξάλειψε"@el,
        "diminished"@en,
        "a diminué"@fr,
        "diminuiu"@pt,
        "умeньшил"@ru,
        "减少了"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instance of E18 Physical Thing that was diminished by an instance of E80 Part Removal.
Although an instance of E80 Part removal activity normally concerns only one instance of E18 Physical Thing, it is possible to imagine circumstances under which more than one item might be diminished by a single instance of E80 Part Removal activity.

Examples:
- The coffin of Tut-Ankh-Amun (E22) was diminished by the opening of the coffin of Tut-Ankh-Amun (E80). (Carter, 2014)
- The coral of the Cocos Islands (E20) was diminished by the removal of the Porite coral specimen by Charles Darwin (E80). (Natural History Museum, 2010, b)

In First Order Logic:
- P112(x,y) ⇒ E80(x)
- P112(x,y) ⇒ E18(y) 
- P112(x,y) ⇒ P31(x,y)
"""@en ;
    rdfs:domain :E80_Part_Removal ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P31_has_modified ;
    owl:inverseOf :P112i_was_diminished_by .