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

:P54i_is_current_permanent_location_of a rdf:Property ;
    rdfs:label "ist derzeitiger permanenter Standort von"@de,
        "είναι μόνιμη θέση του/της"@el,
        "is current permanent location of"@en,
        "est actuellement la location fixe de"@fr,
        "é localização permanente de"@pt,
        "являeтся постоянным мeстоположeниeм для"@ru,
        "是当前永久位置"@zh ;
    rdfs:comment """Quantification of the inverse property: many to one (0,1:0,n)

Scope note of the inverse property:
This property records the foreseen permanent location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.
P54 has current permanent location (is current permanent location of) is similar to P55 has current location (currently holds). However, it indicates the E53 Place currently reserved for an object, such as the permanent storage location or a permanent exhibit location. The object may be temporarily removed from the permanent location, for example when used in temporary exhibitions or loaned to another institution. The object may never actually be located at its permanent location.

Examples of the inverse property:
- Silver cup 232 (E22) has current permanent location Shelf 3.1, Store 2, Museum of Oxford (E53). (fictitious)

In First Order Logic of the inverse property:
- P54(x,y) ⇒ E19(x)
- P54(x,y) ⇒ E53(y)
"""@en ;
    rdfs:domain :E53_Place ;
    rdfs:range :E19_Physical_Object ;
    owl:inverseOf :P54_has_current_permanent_location .