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

:P145i_left_by a rdf:Property ;
    rdfs:label "wurde entlassen durch"@de,
        "left by"@en,
        "est dissocié par"@fr,
        "выш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 leaves an instance of E74 Group through an instance of E86 Leaving.

Examples of the inverse property:
- The end of Sir Isaac Newton’s duty as Member of Parliament for the University of Cambridge to the Convention Parliament in 1702 (E86) separated Sir Isaac Newton (E21). (Iliffe, 2013)
- George Washington’s leaving office in 1797 (E86) separated George Washington (E21). (Unger, 2015)
- The implementation of the treaty regulating the termination of Greenland membership in EU between EU, Denmark and Greenland 1(st) February 1985 (E86) separated Greenland (E74).

In First Order Logic of the inverse property:
- P145(x,y) ⇒ E86(x)
- P145(x,y) ⇒ E39(y) 
- P145(x,y) ⇒ P11(x,y)
"""@en ;
    rdfs:domain :E39_Actor ;
    rdfs:range :E86_Leaving ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P145_separated .