http://www.cidoc-crm.org/cidoc-crm/P31i_was_modified_by
rdf:Property
Quantification of the inverse property: many to many, necessary (1,n:0,n)
Scope note of the inverse property:
This property identifies the instance of E18 Physical Thing modified in an instance of E11 Modification.
Examples of the inverse property:
- The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)
In First Order Logic of the inverse property:
- P31(x,y) ⇒ E11(x)
- P31(x,y) ⇒ E18(y)
- P31(x,y) ⇒ P12(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E18_Physical_Thing | :P31i_was_modified_by | :E11_Modification |
@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#> .
:P31i_was_modified_by a rdf:Property ;
rdfs:label "wurde verändert durch"@de,
"τροποποιήθηκε από"@el,
"was modified by"@en,
"a été modifié par"@fr,
"foi modificada por"@pt,
"измeн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 identifies the instance of E18 Physical Thing modified in an instance of E11 Modification.
Examples of the inverse property:
- The rebuilding of the German Reichstag in Berlin (E11) has modified the Reichstag in Berlin (E24). (Foster, 2000)
In First Order Logic of the inverse property:
- P31(x,y) ⇒ E11(x)
- P31(x,y) ⇒ E18(y)
- P31(x,y) ⇒ P12(x,y)
"""@en ;
rdfs:domain :E18_Physical_Thing ;
rdfs:range :E11_Modification ;
rdfs:subPropertyOf :P12i_was_present_at ;
owl:inverseOf :P31_has_modified .