:P13i_was_destroyed_by leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P13i_was_destroyed_by

Type

rdf:Property

Label

was destroyed by

Description

Quantification of the inverse property: one to many, necessary (1,n:0,1)

Scope note of the inverse property:
This property links an instance of E6 Destruction to an instance of E18 Physical Thing that has been destroyed by it.
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. An instance of E6 Destruction may be contiguous with an instance of E12 Production that brings into existence a derived object composed partly of matter from the destroyed object.

Examples of the inverse property:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

In First Order Logic of the inverse property:
- P13(x,y) ⇒ E6 (x)
- P13(x,y) ⇒ E18(y)
- P13(x,y) ⇒ P93(x,y)

Usage

DOMAINPROPERTYRANGE
:E18_Physical_Thing :P13i_was_destroyed_by :E6_Destruction

Implementation

@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#> .

:P13i_was_destroyed_by a rdf:Property ;
    rdfs:label "wurde zerstört durch"@de,
        "καταστράφηκε από"@el,
        "was destroyed by"@en,
        "a été détruit par"@fr,
        "foi destruído por"@pt,
        "был уничтожeн"@ru,
        "被破坏"@zh ;
    rdfs:comment """Quantification of the inverse property: one to many, necessary (1,n:0,1)

Scope note of the inverse property:
This property links an instance of E6 Destruction to an instance of E18 Physical Thing that has been destroyed by it. 
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. An instance of E6 Destruction may be contiguous with an instance of E12 Production that brings into existence a derived object composed partly of matter from the destroyed object.

Examples of the inverse property:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

In First Order Logic of the inverse property:
- P13(x,y) ⇒ E6 (x)
- P13(x,y) ⇒ E18(y) 
- P13(x,y) ⇒ P93(x,y)
"""@en ;
    rdfs:domain :E18_Physical_Thing ;
    rdfs:range :E6_Destruction ;
    rdfs:subPropertyOf :P93i_was_taken_out_of_existence_by ;
    owl:inverseOf :P13_destroyed .