crm:P93_took_out_of_existence

@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:P93_took_out_of_existence a owl:ObjectProperty ;
    rdfs:label "P93 took out of existence"@en ;
    rdfs:comment """Scope note:
This property allows an E64 End of Existence event to be linked to the E77 Persistent Item taken out of existence by it.
In the case of immaterial things, the E64 End of Existence is considered to take place with the destruction of the last physical carrier.
This allows an “end” to be attached to any Persistent Item being documented i.e. E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation, E51 Contact Point and E55 Type. For many Persistent Items we know the maximum life-span and can infer, that they must have ended to exist. We assume in that case an End of Existence, which may be as unnoticeable as forgetting the secret knowledge by the last representative of some indigenous nation.

Examples:
- the death of Mozart (E69) took out of existence Mozart (E21)

In First Order Logic:
P93 (x,y) ⊃ E64(x)
P93 (x,y) ⊃ E77(y)
P93(x,y) ⊃ P12(x,y)"""@en ;
    rdfs:domain crm:E64_End_of_Existence ;
    rdfs:range crm:E77_Persistent_Item ;
    rdfs:subPropertyOf crm:P12_occurred_in_the_presence_of ;
    owl:equivalentProperty ecrm:P93_took_out_of_existence ;
    owl:inverseOf crm:P93i_was_taken_out_of_existence_by ;
    skos:notation "P93"^^xsd:string .