:P51i_is_former_or_current_owner_of

@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#> .

:P51i_is_former_or_current_owner_of a rdf:Property ;
    rdfs:label "ist früherer oder derzeitiger Besitzer von"@de,
        "είναι ή ήταν ιδιοκτήτης του/της"@el,
        "is former or current owner of"@en,
        "est l’actant propriétaire actuel ou antérieur de"@fr,
        "é ou foi proprietário de"@pt,
        "являeтся бывшим или тeкущим владeльцeм для"@ru,
        "是以往或当前所有者"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property identifies an instance of E39 Actor that is or had been the legal owner (i.e. title holder) of an instance of E18 Physical Thing at some time.
The distinction with P52 has current owner (is current owner of) is that P51 has former or current owner (is former or current owner of) does not indicate whether the specified owners are current. 
This property is a shortcut for the more detailed path from E18 Physical Thing through P24i changed ownership through, E8 Acquisition, P23 transferred title from, or P22 transferred title to to E39 Actor.

Examples of the inverse property:
- The paintings from the Iveagh Bequest (E78) has former or current owner Lord Iveagh (E21). (Bryant, 1990)

In First Order Logic of the inverse property:
- P51(x,y) ⇒ E18(x)
- P51(x,y) ⇒ E39(y)
- P51(x,y) ⇐ (∃z) [E8(z) ˄ P24i(x,z) ˄ [P23(z,y) ˅ P22(z,y) ]]
"""@en ;
    rdfs:domain :E39_Actor ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P51_has_former_or_current_owner .