http://www.cidoc-crm.org/cidoc-crm/P25i_moved_by
rdf:Property
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)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E19_Physical_Object | :P25i_moved_by | :E9_Move |
@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 .