crm:P27_moved_from 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:P27_moved_from a owl:ObjectProperty,
        owl:TransitiveProperty ;
    rdfs:label "P27 moved from"@en ;
    rdfs:comment """Scope note:
This property identifies a starting E53 Place of an E9 Move.

A move will be linked to an origin, such as the move of an artefact from storage to display. A move may be linked to many starting instances of E53 Place by multiple instances of this property. In this case the move describes the picking up of a set of objects. The area of the move includes the origin(s), route and destination(s).
Therefore the described origin 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 from The Egyptian Museum in Cairo (E53)

In First Order Logic:
P27(x,y) ⊃ E9(x)
P27(x,y) ⊃ E53(y)
P27(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:P27_moved_from ;
    owl:inverseOf crm:P27i_was_origin_of ;
    skos:notation "P27"^^xsd:string .