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

:P26_moved_to a rdf:Property ;
    rdfs:label "bewegte bis zu"@de,
        "μετακινήθηκε προς"@el,
        "moved to"@en,
        "a déplacé vers"@fr,
        "locomoveu para"@pt,
        "пeрeмeщeн в"@ru,
        "移至"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies a destination, an instance of E53 Place, of an instance of E9 Move. 
A move will be linked to a destination, such as the move of an artifact 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 the exhibition “Tutankhamun: Treasures of the Golden Pharaoh” between 15(th) September and 2(nd) November 2019 (E9) moved to the Saatchi Gallery London (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 :E9_Move ;
    rdfs:range :E53_Place ;
    owl:inverseOf :P26i_was_destination_of .