E64 End of Existence in Version 6.2.2
Subclass of :
This class comprises events that end the existence of any E77 Persistent Item.
It may be used for temporal reasoning about things (physical items, groups of people, living beings) ceasing to exist; it serves as a hook for determination of a terminus postquem and antequem. In cases where substance from a Persistent Item continues to exist in a new form, the process would be documented by E81 Transformation.
- the death of Snoopy, my dog
- the melting of the snowman
- the burning of the Temple of Artemis in Ephesos by Herostratos in 356BC
In First Order Logic:
E64(x) ⊃ E5(x)