http://www.cidoc-crm.org/cidoc-crm/P26i_was_destination_of
rdf:Property
Quantification of the inverse property: many to many, necessary (1,n:0,n)
Scope note of the inverse property:
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 of the inverse property:
- 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 of the inverse property:
- P26(x,y) ⇒ E9(x)
- P26(x,y) ⇒ E53(y)
- P26(x,y) ⇒ (∃z) [E53(z) ∧ P7(x,z) ∧ P89(y,z)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E53_Place | :P26i_was_destination_of | :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#> .
:P26i_was_destination_of a rdf:Property ;
rdfs:label "war Zielort von"@de,
"ήταν προορισμός του/της"@el,
"was destination of"@en,
"a été la destination de"@fr,
"era destinação de"@pt,
"был пунктом назнач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 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 of the inverse property:
- 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 of the inverse property:
- 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 :E53_Place ;
rdfs:range :E9_Move ;
owl:inverseOf :P26_moved_to .