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

:P107_has_current_or_former_member a rdf:Property ;
    rdfs:label "hat derzeitiges oder früheres Mitglied"@de,
        "έχει ή είχε μέλος"@el,
        "has current or former member"@en,
        "a pour membre actuel ou antérieur"@fr,
        "tem ou teve membro"@pt,
        "имeeт дeйствующeго или бывшeго члeна"@ru,
        "有当前或以往成员"@zh ;
    rdfs:comment """Quantification: many to many (0,n:0,n)

Scope note:
This property associates an instance of E74 Group with an instance of E39 Actor that is or has been a member thereof.
Instances of E74 Group and E21 Person may all be members of instances of E74 Group. An instance of E74 Group may be founded initially without any member. 
This property is a shortcut of the more fully developed path from E74 Group, P144i gained member by, E85 Joining, P143 joined 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:
- László Moholy-Nagy (E21) is current or former member of Bauhaus (E74). (Moholy-Nagy, 2012)
- National Museum of Science and Industry (E74) has current or former member The National Railway Museum (E74). (Rolt, 1971)
- The married couple Queen Elisabeth and Prince Phillip (E74) has current or former member Prince Phillip (E21) kind of member husband (E55). (Brandreth, 2004)

Properties:
- P107.1 kind of member: 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)]
- P107(x,y) ⇐ (∃z) [E85(z) ˄ P144i(x,z) ˄ P143(z,y)]
"""@en ;
    rdfs:domain :E74_Group ;
    rdfs:range :E39_Actor ;
    owl:inverseOf :P107i_is_current_or_former_member_of .