:P112i_was_diminished_by 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#> .

:P112i_was_diminished_by a rdf:Property ;
    rdfs:label "wurde vermindert durch"@de,
        "εξαλείφθηκε από"@el,
        "was diminished by"@en,
        "a été diminué par"@fr,
        "foi diminuído por"@pt,
        "был умeньшeн"@ru,
        "被减少"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P112(x,y) ⇒ E80(x)
- P112(x,y) ⇒ E18(y) 
- P112(x,y) ⇒ P31(x,y)
"""@en ;
    rdfs:domain :E18_Physical_Thing ;
    rdfs:range :E80_Part_Removal ;
    rdfs:subPropertyOf :P31i_was_modified_by ;
    owl:inverseOf :P112_diminished .