:P93i_was_taken_out_of_existence_by

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

:P93i_was_taken_out_of_existence_by a rdf:Property ;
    rdfs:label "wurde seiner Existenz beraubt durch"@de,
        "αναιρέθηκε από"@el,
        "was taken out of existence by"@en,
        "a cessé d’exister par"@fr,
        "deixou de existir"@pt,
        "сущeствованиe было прeкращ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 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 of the inverse property:
- The death of Mozart (E69) took out of existence Mozart (E21). (Deutsch, 1965)

In First Order Logic of the inverse property:
- P93(x,y) ⇒ E64(x)
- P93(x,y) ⇒ E77(y) 
- P93(x,y) ⇒ P12(x,y)
"""@en ;
    rdfs:domain :E77_Persistent_Item ;
    rdfs:range :E64_End_of_Existence ;
    rdfs:subPropertyOf :P12i_was_present_at ;
    owl:inverseOf :P93_took_out_of_existence .