crm:P26_moved_to 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:P26_moved_to a owl:ObjectProperty ;
    rdfs:label "P26 moved to"@en ;
    rdfs:comment """Scope note:
This property identifies a destination of a E9 Move.

A move will be linked to a destination, such as the move of an artefact from storage to display. A move may be linked to many terminal instances of E53 Place by multiple instances of this property. In this case the move describes a distribution of a set of objects. The area of the move includes the origin(s), route and destination(s).
Therefore the described destination is an instance of E53 Place which P89 falls within (contains) the instance of E53 Place the move P7 took place at.

Examples:
- the movement of Tut-Ankh-Amun Exhibition (E9) moved to The British Museum (E53)

In First Order Logic:
P26(x,y) ⊃ E9(x)
P26(x,y) ⊃ E53(y)
P26(x,y) ⊃ (z)[ E53(z) ∧ P7(x,z) ∧ P89(y,z)]"""@en ;
    rdfs:domain crm:E9_Move ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P26_moved_to ;
    owl:inverseOf crm:P26i_was_destination_of ;
    skos:notation "P26"^^xsd:string .