:P25i_moved_by leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P25i_moved_by

Type

rdf:Property

Label

moved by

Description

Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies an instance of E19 Physical Object that was moved by an instance of E9 Move. A move must concern at least one object.
The property implies the object’s passive participation. For example, Monet’s painting “Impression sunrise” was moved for the first Impressionist exhibition in 1874.

Examples of the inverse property:
- Monet´s “Impression sunrise” (E22) moved by preparations for the First Impressionist Exhibition (E9).

In First Order Logic of the inverse property:
- P25(x,y) ⇒ E9(x)
- P25(x,y) ⇒ E19(y)
- P25(x,y) ⇒ P12(x,y)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E19_Physical_Object :P25i_moved_by :E9_Move

Implementation

@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#> .

:P25i_moved_by a rdf:Property ;
    rdfs:label "wurde bewegt durch"@de,
        "μετακινήθηκε από"@el,
        "moved by"@en,
        "a été déplacé par"@fr,
        "foi locomovido por"@pt,
        "пeрeмeщeн"@ru,
        "被移动"@zh ;
    rdfs:comment """Quantification of the inverse property: many to many, necessary (1,n:0,n)

Scope note of the inverse property:
This property identifies an instance of E19 Physical Object that was moved by an instance of E9 Move. A move must concern at least one object.
The property implies the object’s passive participation. For example, Monet’s painting “Impression sunrise” was moved for the first Impressionist exhibition in 1874.

Examples of the inverse property:
- Monet´s “Impression sunrise” (E22) moved by preparations for the First Impressionist Exhibition (E9).

In First Order Logic of the inverse property:
- P25(x,y) ⇒ E9(x)
- P25(x,y) ⇒ E19(y)
- P25(x,y) ⇒ P12(x,y)
"""@en ;
    rdfs:domain :E19_Physical_Object ;
    rdfs:range :E9_Move ;
    rdfs:subPropertyOf :P12i_was_present_at ;
    owl:inverseOf :P25_moved .