:P73i_is_translation_of leaf node


URI

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

Type

rdf:Property

Label

is translation of

Description

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)

Inherits from

Usage

DOMAINPROPERTYRANGE
:E33_Linguistic_Object :P73i_is_translation_of :E33_Linguistic_Object

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

: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 &amp; 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 .