:P146i_lost_member_by leaf node

@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:P146i_lost_member_by a rdf:Property ;
    rdfs:label "verlor Mitglied durch"@de,
        "lost member by"@en,
        "a perdu le membre par"@fr,
        "потeрян участник"@ru,
        "失去成员"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies the instance of E74 Group an instance of E39 Actor leaves through an instance of E86 Leaving.
Although a leaving activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which leaving one E74 Group implies leaving another E74 Group as well.

Examples of the inverse property:
- 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 from the Convention Parliament (E74). (Iliffe, 2013)
- George Washington’s leaving office in 1797 (E86) separated from the office of President of the United States (E74). (Unger, 2015)
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland 1(st) February 1985 (E86) separated from EU (E74).

In First Order Logic of the inverse property:
- P146(x,y) ⇒ E86(x)
- P146(x,y) ⇒ E74(y) 
- P146(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E74_Group ;
    rdfs:range :E86_Leaving ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P146_separated_from .