crm:P143_joined leaf node

@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

crm:P143_joined a owl:ObjectProperty ;
    rdfs:label "P143 joined"@en ;
    rdfs:comment """Scope note:
This property identifies the instance of E39 Actor that becomes member of a E74 Group in an E85 Joining.

Joining events allow for describing people becoming members of a group with a more detailed path from E74 Group through P144 joined with (gained member by), E85 Joining, P143 joined (was joined by) to 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)
- The inauguration of Mikhail Sergeyevich Gorbachev as leader of the Union of Soviet Socialist Republics (USSR) in 1985 (E85) joined Mikhail Sergeyevich Gorbachev (E21)
- The implementation of the membership treaty January 1. 1973 between EU and Denmark (E85) joined Denmark (E40)

In First Order Logic:
P143(x,y) ⊃ E85(x)
P143(x,y) ⊃ E39(y)
P143(x,y) ⊃ P11(x,y)"""@en ;
    rdfs:domain crm:E85_Joining ;
    rdfs:subPropertyOf crm:P11_had_participant ;
    owl:equivalentProperty ecrm:P143_joined ;
    owl:inverseOf crm:P143i_was_joined_by ;
    skos:notation "P143"^^xsd:string .