:P13_destroyed leaf node


URI

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

Type

rdf:Property

Label

destroyed

Description

Quantification: one to many, necessary (1,n:0,1)

Scope note:
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:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

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

Usage

DOMAINPROPERTYRANGE
:E6_Destruction :P13_destroyed :E18_Physical_Thing

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

:P13_destroyed a rdf:Property ;
    rdfs:label "zerstörte"@de,
        "κατέστρεψε"@el,
        "destroyed"@en,
        "a détruit"@fr,
        "destruiu"@pt,
        "уничтожил"@ru,
        "破坏了"@zh ;
    rdfs:comment """Quantification: one to many, necessary (1,n:0,1)

Scope note:
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:
- The Tay Bridge Disaster (E6) destroyed the Tay Bridge (E22). (Thomas, 1972)

In First Order Logic:
- P13(x,y) ⇒ E6 (x)
- P13(x,y) ⇒ E18(y) 
- P13(x,y) ⇒ P93(x,y)
"""@en ;
    rdfs:domain :E6_Destruction ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P93_took_out_of_existence ;
    owl:inverseOf :P13i_was_destroyed_by .