crm:P55_has_current_location leaf node

@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:P55_has_current_location a owl:ObjectProperty ;
    rdfs:label "P55 has current location"@en ;
    rdfs:comment """Scope note:
This property records the location of an E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.

This property is a specialisation of P53 has former or current location (is former or current location of). It indicates that the E53 Place associated with the E19 Physical Object is the current location of the object. The property does not allow any indication of how long the Object has been at the current location.
P55 has current location (currently holds) 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) to E53 Place if and only if this Move is the most recent.

Examples:
- silver cup 232 (E22) has current location Display cabinet 23, Room 4, British Museum (E53)

In First Order Logic:
P55(x,y) ⊃ E19(x)
P55(x,y) ⊃ E53(y)
P55(x,y) ⊃ P53(x,y)"""@en ;
    rdfs:domain crm:E19_Physical_Object ;
    rdfs:range crm:E53_Place ;
    rdfs:subPropertyOf crm:P53_has_former_or_current_location ;
    owl:equivalentProperty ecrm:P55_has_current_location ;
    owl:inverseOf crm:P55i_currently_holds ;
    skos:notation "P55"^^xsd:string .