Domain:

crm:E5 Event

Range:

aaao:ZE1 Institutional Fact

Quantification:

No quantifiers yet.

Superproperty of:

• aaao:ZE52 Transformative Symbolic Act → aaao:ZP52 intentionally terminated (was intentionally terminated by) → aaao:ZE1 Institutional Fact
• aaao:ZE52 Transformative Symbolic Act → aaao:ZP52 intentionally terminated (was intentionally terminated by) → aaao:ZE1 Institutional Fact

Scope note:

This property is used to connect the instance of event to the instance of institutional fact which it terminated the existence of by fiat thanks to its accordance to a socially defined norm. In this case the cancellation of an institutional fact need not be intentional or following any particular rule intentionally. Rather, within a social context it is recognized that the very fact of a particular event occuring is causal to the cancellation of the related social fact. For example, a certain social system may recognize that an 'act of god' such as an earthquake may terminate the property right of an individual over some object (another social system may not, however).

Examples:

• The crash landing of flight that left Clear Lake on February 3, 1959 (E5) terminated the Social Status Relation of 'collaborator of' between Buddy Holly and Richie Valens (ZE55)
• The end of Barack Obama's term as president (E7) terminated the Promissory Status of the promise to close Guantanamo Bay (ZE45)

In First Order Logic:

• ZP112(x,y) ⇒ E5(x)
• ZP112(x,y) ⇒ ZE1(y)