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

:P143_joined a rdf:Property ;
    rdfs:label "verband"@de,
        "joined"@en,
        "a fait adhérer"@fr,
        "присоeдинил"@ru,
        "加入"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instance of E39 Actor that becomes member of an instance of E74 Group in an instance of E85 Joining.
Joining events allow for describing actors becoming members of a group with the more detailed path E74 Group, 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).

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

In First Order Logic:
- P143(x,y) ⇒ E85(x)
- P143(x,y) ⇒ E39(y) 
- P143(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E85_Joining ;
    rdfs:range :E39_Actor ;
    rdfs:subPropertyOf :P11_had_participant ;
    owl:inverseOf :P143i_was_joined_by .