:P31_has_modified


URI

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

Type

rdf:Property

Label

has modified

Description

Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instance of E18 Physical Thing modified in an instance of E11 Modification.

Examples:
- The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)

In First Order Logic:
- P31(x,y) ⇒ E11(x)
- P31(x,y) ⇒ E18(y)
- P31(x,y) ⇒ P12(x,y)

Usage

DOMAINPROPERTYRANGE
:E11_Modification :P31_has_modified :E18_Physical_Thing

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

:P31_has_modified a rdf:Property ;
    rdfs:label "veränderte"@de,
        "τροποποίησε"@el,
        "has modified"@en,
        "a modifié"@fr,
        "modificou"@pt,
        "измeнил"@ru,
        "已更改"@zh ;
    rdfs:comment """Quantification: many to many, necessary (1,n:0,n)

Scope note:
This property identifies the instance of E18 Physical Thing modified in an instance of E11 Modification.

Examples:
- The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)

In First Order Logic:
- P31(x,y) ⇒ E11(x)
- P31(x,y) ⇒ E18(y) 
- P31(x,y) ⇒ P12(x,y)
"""@en ;
    rdfs:domain :E11_Modification ;
    rdfs:range :E18_Physical_Thing ;
    rdfs:subPropertyOf :P12_occurred_in_the_presence_of ;
    owl:inverseOf :P31i_was_modified_by .