http://www.cidoc-crm.org/cidoc-crm/P144_joined_with
Scope note:
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 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).
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:
- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E40)
- 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) (E40) with P144.1 kind of member President (E55)
- The implementation of the membership treaty January 1. 1973 between EU and Denmark (E85) joined with EU (E40)
In First Order Logic:
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)
Properties: P144.1 kind of member: E55 Type
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| crm:E85_Joining | crm:P144_joined_with | crm:E74_Group |
@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:P144_joined_with a owl:ObjectProperty ;
rdfs:label "P144 joined with"@en ;
rdfs:comment """Scope note:
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 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).
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:
- The election of Sir Isaac Newton as Member of Parliament to the Convention Parliament of 1689 (E85) joined with the Convention Parliament (E40)
- 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) (E40) with P144.1 kind of member President (E55)
- The implementation of the membership treaty January 1. 1973 between EU and Denmark (E85) joined with EU (E40)
In First Order Logic:
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)
Properties: P144.1 kind of member: E55 Type"""@en ;
rdfs:domain crm:E85_Joining ;
rdfs:range crm:E74_Group ;
rdfs:subPropertyOf crm:P11_had_participant ;
owl:equivalentProperty ecrm:P144_joined_with ;
owl:inverseOf crm:P144i_gained_member_by ;
skos:notation "P144"^^xsd:string .