crm:P107_has_current_or_former_member 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:P107_has_current_or_former_member a owl:ObjectProperty ;
    rdfs:label "P107 has current or former member"@en ;
    rdfs:comment """Scope note:
This property relates an E39 Actor to the E74 Group of which that E39 Actor is a member.

Groups, Legal Bodies and Persons, may all be members of Groups. A Group necessarily consists of more than one member.

This property is a shortcut of the more fully developed path from E74 Group through P144 joined with (gained member by), E85 Joining, P143 joined (was joined by) to E39 Actor
The property P107.1 kind of member can be used to specify the type of membership or the role the member has in the group.

Examples:
- Moholy Nagy (E21) is current or former member of Bauhaus (E74)
- National Museum of Science and Industry (E40) has current or former member The National Railway Museum (E40)
- The married couple Queen Elisabeth and Prince Phillip (E74) has current or former member Prince Phillip (E21) with P107.1 kind of member husband (E55 Type)

In First Order Logic:
P107(x,y) ⊃ E74(x)
P107(x,y) ⊃ E39(y)
P107(x,y,z) ⊃ [P107(x,y) ∧ E55(z)]

Properties: P107.1 kind of member: E55 Type"""@en ;
    rdfs:domain crm:E74_Group ;
    rdfs:range crm:E39_Actor ;
    owl:equivalentProperty ecrm:P107_has_current_or_former_member ;
    owl:inverseOf crm:P107i_is_current_or_former_member_of ;
    skos:notation "P107"^^xsd:string .