crm:P53_has_former_or_current_location

@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:P53_has_former_or_current_location a owl:ObjectProperty ;
    rdfs:label "P53 has former or current location"@en ;
    rdfs:comment """Scope note:
This property allows an instance of E53 Place to be associated as the former or current location of an instance of E18 Physical Thing.

In the case of E19 Physical Objects, the property does not allow any indication of the Time-Span during which the Physical Object was located at this Place, nor if this is the current location.

In the case of immobile objects, the Place would normally correspond to the Place of creation.
P53 has former or current location (is former or current location of) is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object through P25 moved (moved by), E9 Move, P26 moved to (was destination of) or P27 moved from (was origin of) to E53 Place.

Examples:
- silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53)

In First Order Logic:
P53(x,y) ⊃ E18(x)
P53(x,y) ⊃ E53(y)"""@en ;
    rdfs:domain crm:E18_Physical_Thing ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P53_has_former_or_current_location ;
    owl:inverseOf crm:P53i_is_former_or_current_location_of ;
    skos:notation "P53"^^xsd:string .