:P14i_performed


URI

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

Type

rdf:Property

Label

performed

Description

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

Scope note of the inverse property:
This property describes the active participation of an instance of E39 Actor in an instance of E7 Activity.
It implies causal or legal responsibility. The P14.1 in the role of property of the property specifies the nature of an Actor’s participation.

Examples of the inverse property:
- The painting of the Sistine Chapel (E7) carried out by Michelangelo Buonaroti (E21) in the role of master craftsman (E55). (Goldscheider, 1953)

In First Order Logic of the inverse property:
- P14(x,y) ⇒ E7(x)
- P14(x,y)⇒ E39(y)
- P14(x,y) ⇒ P11(x,y)
- P14(x,y,z) ⇒ [P14(x,y) ∧ E55(z)]

Usage

DOMAINPROPERTYRANGE
:E39_Actor :P14i_performed :E7_Activity

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

:P14i_performed a rdf:Property ;
    rdfs:label "führte aus"@de,
        "πραγματοποίησε"@el,
        "performed"@en,
        "a effectué"@fr,
        "executou"@pt,
        "выполнял"@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 describes the active participation of an instance of E39 Actor in an instance of E7 Activity. 
It implies causal or legal responsibility. The P14.1 in the role of property of the property specifies the nature of an Actor’s participation.

Examples of the inverse property:
- The painting of the Sistine Chapel (E7) carried out by Michelangelo Buonaroti (E21) in the role of master craftsman (E55). (Goldscheider, 1953)

In First Order Logic of the inverse property:
- P14(x,y) ⇒ E7(x)
- P14(x,y)⇒ E39(y)
- P14(x,y) ⇒ P11(x,y)
- P14(x,y,z) ⇒ [P14(x,y) ∧ E55(z)]
"""@en ;
    rdfs:domain :E39_Actor ;
    rdfs:range :E7_Activity ;
    rdfs:subPropertyOf :P11i_participated_in ;
    owl:inverseOf :P14_carried_out_by .