:P93_took_out_of_existence

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

:P93_took_out_of_existence a rdf:Property ;
    rdfs:label "beendete die Existenz von"@de,
        "αναίρεσε"@el,
        "took out of existence"@en,
        "a mis fin à l’existence de"@fr,
        "cessou a existência de"@pt,
        "положил конeц сущeствованию"@ru,
        "结束存在的是"@zh ;
    rdfs:comment """Quantification: one to many, necessary (1,n:0,1)

Scope note:
This property links an instance of E64 End of Existence to the instance of E77 Persistent Item taken out of existence by it.
In the case of immaterial things, the instance of 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 instance of E77 Persistent Item being documented i.e. instances of E70 Thing, E72 Legal Object, E39 Actor, E41 Appellation, and E55 Type. For many instances of E77 Persistent Item we know the maximum life-span and can infer that they must have ended to exist. We assume in that case an instance of E64 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). (Deutsch, 1965)

In First Order Logic:
- P93(x,y) ⇒ E64(x)
- P93(x,y) ⇒ E77(y) 
- P93(x,y) ⇒ P12(x,y)
"""@en ;
    rdfs:domain :E64_End_of_Existence ;
    rdfs:range :E77_Persistent_Item ;
    rdfs:subPropertyOf :P12_occurred_in_the_presence_of ;
    owl:inverseOf :P93i_was_taken_out_of_existence_by .