. . . . "P93 took out of existence"@en . "Scope note:\nThis property allows an E64 End of Existence event to be linked to the E77 Persistent Item taken out of existence by it.\nIn the case of immaterial things, the E64 End of Existence is considered to take place with the destruction of the last physical carrier.\nThis allows an \u201Cend\u201D 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.\n\nExamples:\n- the death of Mozart (E69) took out of existence Mozart (E21)\n\nIn First Order Logic:\nP93 (x,y) \u2283 E64(x)\nP93 (x,y) \u2283 E77(y)\nP93(x,y) \u2283 P12(x,y)"@en . "P93"^^ . .