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

:P143i_was_joined_by a rdf:Property ;
    rdfs:label "wurde verbunden durch"@de,
        "was joined by"@en,
        "a adhéré par"@fr,
        "был присоeдин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 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 of the inverse property:
- 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 of the inverse property:
- P143(x,y) ⇒ E85(x)
- P143(x,y) ⇒ E39(y) 
- P143(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E39_Actor ;
    rdfs:range :E85_Joining ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P143_joined .