crm:P13_destroyed 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:P13_destroyed a owl:ObjectProperty ;
    rdfs:label "P13 destroyed"@en ;
    rdfs:comment """Scope note:
This property allows specific instances of E18 Physical Thing that have been destroyed to be related to a destruction event.
Destruction implies the end of an item's life as a subject of cultural documentation – the physical matter of which the item was composed may in fact continue to exist. A destruction event may be contiguous with a Production that brings into existence a derived object composed partly of matter from the destroyed object.

Examples:
- the Tay Bridge Desaster (E6) destroyed The Tay Bridge (E22)

In First Order Logic:
P13 (x,y) ⊃ E6 (x)
P13 (x,y) ⊃ E18(y)
P13 (x,y) ⊃ P93(x,y)"""@en ;
    rdfs:domain crm:E6_Destruction ;
    rdfs:range crm:E18_Physical_Thing ;
    rdfs:subPropertyOf crm:P93_took_out_of_existence ;
    owl:equivalentProperty ecrm:P13_destroyed ;
    owl:inverseOf crm:P13i_was_destroyed_by ;
    skos:notation "P13"^^xsd:string .