crm:P112_diminished leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P112_diminished a owl:ObjectProperty ;
    rdfs:label "P112 diminished"@en ;
    rdfs:comment """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)"""@en ;
    rdfs:domain crm:E80_Part_Removal ;
    rdfs:range crm:E24_Physical_Man-Made_Thing ;
    rdfs:subPropertyOf crm:P31_has_modified ;
    owl:equivalentProperty ecrm:P112_diminished ;
    owl:inverseOf crm:P112i_was_diminished_by ;
    skos:notation "P112"^^xsd:string .