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

:P53i_is_former_or_current_location_of a rdf:Property ;
    rdfs:label "ist früherer oder derzeitiger Standort von"@de,
        "είναι ή ήταν θέση του"@el,
        "is former or current location of"@en,
        "est la localisation actuelle ou antérieure de"@fr,
        "é ou foi localização de"@pt,
        "являeтся тeкущим или бывшим мeстоположeни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 an instance of E53 Place as the former or current location of an instance of E18 Physical Thing.
In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location.
In the case of immobile objects, the Place would normally correspond to the Place of creation.
This property is a shortcut. A more detailed representation can make use of the fully developed (i.e. indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from to E53 Place.

Examples of the inverse property:
- Silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53). (fictitious)

In First Order Logic of the inverse property:
- P53(x,y) ⇒ E18(x)
- P53(x,y) ⇒ E53(y)
- P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range :E18_Physical_Thing ;
    owl:inverseOf :P53_has_former_or_current_location .