Task: Class Definition Understanding (ontology: Arts_Media_Entertainment/CIDOC_CRM)

Which of the following definitions best describes 'E64 End of Existence'?

A. Scope note:
This class comprises the deaths of human beings. 
If a person is killed, their the concept should be instantiated as the concept and as E7 Activity. The the concept or perishing of other living beings should be documented as instances of E64 End of Existence.

Examples:
- the murder of Julius Caesar (E69, E7) (Irwin, 1935)
- the the concept of Senator Paul Wellstone (Monast and Tao, 2002)

In First Order Logic:
- E69(x) ⇒ E64(x)
B. Scope note:
This class comprises the events that result in the formal or informal termination of an instance of E74 Group. 
If the the concept was deliberate, the the concept event should also be instantiated as an instance of E7 Activity.

Examples:
- the fall of the Roman Empire (Whittington, 1964)
- the liquidation of Enron Corporation (Atlas, 2001)

In First Order Logic:
- E68(x) ⇒ E64(x)
C. Scope note:
This class comprises events that destroy one or more instances of E18 Physical Thing, such that they lose their identity as the subjects of documentation.
Some the concept events are intentional, while others are independent of human activity. Intentional the concept can be documented by classifying the event as both an instance of the concept and of E7 Activity. 
The decision to document an object as destroyed, transformed, or modified is context-sensitive: 
1. If the matter remaining from the the concept is not documented, the event is modelled solely as an instance of the concept. 
2. An event should also be documented using E81 Transformation if it results in the the concept of one or more objects and the simultaneous production of others using parts or material from the original. In this case, the new items have separate identities. Matter is preserved, but identity is not.
3. When the initial identity of the changed instance of E18 Physical Thing is preserved, the event should be documented as an instance of E11 Modification.

Examples:
- the the concept of Herculaneum by volcanic eruption in 79 AD (Camardo, 2013)
- the the concept of Nineveh (E6, E7) (River, 2016) 
- the breaking of a champagne glass yesterday by my dog (fictitious)

In First Order Logic:
- E6(x) ⇒ E64(x)
D. Scope note:
This class comprises events that end the existence of any instance of 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 both a terminus post quem and a terminus ante quem. In cases where substance from an instance of E77 Persistent Item continues to exist in a new form, the process would be documented as instances of E81 Transformation.

Examples:
- the death of Snoopy, my dog (fictitious)
- the melting of the snowman (E6)
- the burning of the Temple of Artemis in Ephesos by Herostratos in 356 BC (E7, E6) (Trell, 1945)

In First Order Logic:
- E64(x) ⇒ E5(x)

Answer: Scope note:
This class comprises events that end the existence of any instance of 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 both a terminus post quem and a terminus ante quem. In cases where substance from an instance of E77 Persistent Item continues to exist in a new form, the process would be documented as instances of E81 Transformation.

Examples:
- the death of Snoopy, my dog (fictitious)
- the melting of the snowman (E6)
- the burning of the Temple of Artemis in Ephesos by Herostratos in 356 BC (E7, E6) (Trell, 1945)

In First Order Logic:
- E64(x) ⇒ E5(x)