crm:P51_has_former_or_current_owner

@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:P51_has_former_or_current_owner a owl:ObjectProperty ;
    rdfs:label "P51 has former or current owner"@en ;
    rdfs:comment """Scope note:
This property identifies the E39 Actor that is or has 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. P51 has former or current owner (is former or current owner of) is a shortcut for the more detailed path from E18 Physical Thing through P24 transferred title of (changed ownership through), E8 Acquisition, P23 transferred title from (surrendered title through), or P22 transferred title to (acquired title through) to E39 Actor.

Examples:
- paintings from the Iveagh Bequest (E18) has former or current owner Lord Iveagh (E21)

In First Order Logic:
P51(x,y) ⊃ E18(x)
P51(x,y) ⊃ E39(y)"""@en ;
    rdfs:domain crm:E18_Physical_Thing ;
    rdfs:range crm:E39_Actor ;
    owl:equivalentProperty ecrm:P51_has_former_or_current_owner ;
    owl:inverseOf crm:P51i_is_former_or_current_owner_of ;
    skos:notation "P51"^^xsd:string .