P145 separated (left by) in version 7.1.1

Domain:
E86 Leaving
Range:
E39 Actor
Subproperty of:
E5 Event. P11 had participant (participated in): E39 Actor
Superproperty of: No superproperties found
Quantification:
many to many,necessary (1,n,0,n)
Scope Note:

This property identifies the instance of E39 Actor that leaves an instance of E74 Group through an instance of E86 Leaving.

Examples:
  • The end of Sir Isaac Newton’s duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 (E86) separated Sir Isaac Newton (E21). (Iliffe, 2013)
  • George Washington’s leaving office in 1797 (E86) separated George Washington (E21). (Unger, 2015)
  • The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland 1st February 1985 (E86) separated Greenland (E74).
In First Order Logic:
P145(x,y) ⇒ E86(x), P145(x,y) ⇒ E39(y), P145(x,y) ⇒ P11(x,y)