http://www.cidoc-crm.org/cidoc-crm/P73i_is_translation_of
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property links an instance of E33 Linguistic Object (A), to another instance of E33 Linguistic Object (B) which is the translation of A.
When an instance of E33 Linguistic Object is translated into a new language a new instance of E33 Linguistic Object is created, despite the translation being conceptually similar to the source.
This property is asymmetric.
Examples of the inverse property:
- “Les Baigneurs” (E33) has translation “The Bathers” (E33). (Spiers & Surenne, 1854)
In First Order Logic of the inverse property:
- P73(x,y) ⇒ E33(x)
- P73(x,y) ⇒ E33(y)
- P73(x,y) ⇒ P130i(x,y)
- P73(x,y) ⇒ ¬P73(y,x)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E33_Linguistic_Object | :P73i_is_translation_of | :E33_Linguistic_Object |
@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#> .
:P73i_is_translation_of a rdf:Property ;
rdfs:label "ist Übersetzung von"@de,
"είναι μετάφραση του/της"@el,
"is translation of"@en,
"est traduction de"@fr,
"é tradução de"@pt,
"являeтся пeрeводом"@ru,
"是译文"@zh ;
rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property links an instance of E33 Linguistic Object (A), to another instance of E33 Linguistic Object (B) which is the translation of A.
When an instance of E33 Linguistic Object is translated into a new language a new instance of E33 Linguistic Object is created, despite the translation being conceptually similar to the source.
This property is asymmetric.
Examples of the inverse property:
- “Les Baigneurs” (E33) has translation “The Bathers” (E33). (Spiers & Surenne, 1854)
In First Order Logic of the inverse property:
- P73(x,y) ⇒ E33(x)
- P73(x,y) ⇒ E33(y)
- P73(x,y) ⇒ P130i(x,y)
- P73(x,y) ⇒ ¬P73(y,x)
"""@en ;
rdfs:domain :E33_Linguistic_Object ;
rdfs:range :E33_Linguistic_Object ;
rdfs:subPropertyOf :P130_shows_features_of ;
owl:inverseOf :P73_has_translation .