:P144i_gained_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#> .

:P144i_gained_member_by a rdf:Property ;
    rdfs:label "erwarb Mitglied durch"@de,
        "gained member by"@en,
        "a accueilli 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 of which an instance of E39 Actor becomes a member through an instance of E85 Joining.
Although a joining activity normally concerns only one instance of E74 Group, it is possible to imagine circumstances under which becoming member of one Group implies becoming member of another Group as well. 
Joining events allow for describing people becoming members of a group with a more detailed path from E74 Group through, P144i gained member by, E85 Joining, P143 joined, E39 Actor, compared to the shortcut offered by P107 has current or former member (is current or former member of).
The property P144.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples of the inverse property:
- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E74). (Iliffe, 2013)
- The inauguration of Mikhail Sergeyevich Gorbachev as Leader of the Union of Soviet Socialist Republics (USSR) in 1985 (E85) joined with the office of Leader of the Union of Soviet Socialist Republics (USSR) (E74) kind of member President (E55). (Galeotti, 1997)
- The implementation of the membership treaty 1(st) January 1973 between EU and Denmark (E85) joined with EU (E74).

In First Order Logic of the inverse property:
- P144(x,y) ⇒ E85(x)
- P144(x,y)⇒ E74(y) 
- P144(x,y,z) ⇒ [P144(x,y) ∧ E55(z)]
- P144(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E74_Group ;
    rdfs:range :E85_Joining ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P144_joined_with .