:P72i_is_language_of leaf node


URI

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

Type

rdf:Property

Label

is language of

Description

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

Scope note of the inverse property:
This property associates an instance(s) of E33 Linguistic Object with an instance of E56 Language in which it is, at least partially, expressed.
Linguistic Objects are composed in one or more human languages. This property allows these languages to be documented.

Examples of the inverse property:
- The United States Declaration of Independence (E33) has language 18(th) Century English (E56). (Perley, 2017)

In First Order Logic of the inverse property:
- P72(x,y) ⇒ E33(x)
- P72(x,y) ⇒ E56(y)

Usage

DOMAINPROPERTYRANGE
:E56_Language :P72i_is_language_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#> .

:P72i_is_language_of a rdf:Property ;
    rdfs:label "ist Sprache von"@de,
        "είναι γλώσσα του/της"@el,
        "is language of"@en,
        "est la langue de"@fr,
        "é a língua 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 associates an instance(s) of E33 Linguistic Object with an instance of E56 Language in which it is, at least partially, expressed. 
Linguistic Objects are composed in one or more human languages. This property allows these languages to be documented.

Examples of the inverse property:
- The United States Declaration of Independence (E33) has language 18(th) Century English (E56). (Perley, 2017)

In First Order Logic of the inverse property:
- P72(x,y) ⇒ E33(x)
- P72(x,y) ⇒ E56(y)
"""@en ;
    rdfs:domain :E56_Language ;
    rdfs:range :E33_Linguistic_Object ;
    owl:inverseOf :P72_has_language .