http://www.cidoc-crm.org/cidoc-crm/P108i_was_produced_by
rdf:Property
Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)
Scope note of the inverse property:
This property identifies the instance of E24 Physical Human-Made Thing that came into existence as a result of the instance of E12 Production.
The identity of an instance of E24 Physical Human-Made Thing is not defined by its matter, but by its existence as a subject of documentation. An E12 Production can result in the creation of multiple instances of E24 Physical Human-Made Thing.
Examples of the inverse property:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)
In First Order Logic of the inverse property:
- P108(x,y) ⇒ E12(x)
- P108(x,y) ⇒ E24(y)
- P108(x,y) ⇒ P31(x,y)
- P108(x,y) ⇒ P92(x,y)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E24_Physical_Human-Made_Thing | :P108i_was_produced_by | :E12_Production |
@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#> .
:P108i_was_produced_by a rdf:Property ;
rdfs:label "wurde hergestellt durch"@de,
"παρήχθη από"@el,
"was produced by"@en,
"a été produit par"@fr,
"foi produzido por"@pt,
"был произвeдeн"@ru,
"被产生"@zh ;
rdfs:comment """Quantification of the inverse property: one to many, necessary, dependent (1,n:1,1)
Scope note of the inverse property:
This property identifies the instance of E24 Physical Human-Made Thing that came into existence as a result of the instance of E12 Production.
The identity of an instance of E24 Physical Human-Made Thing is not defined by its matter, but by its existence as a subject of documentation. An E12 Production can result in the creation of multiple instances of E24 Physical Human-Made Thing.
Examples of the inverse property:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)
In First Order Logic of the inverse property:
- P108(x,y) ⇒ E12(x)
- P108(x,y) ⇒ E24(y)
- P108(x,y) ⇒ P31(x,y)
- P108(x,y) ⇒ P92(x,y)
"""@en ;
rdfs:domain :E24_Physical_Human-Made_Thing ;
rdfs:range :E12_Production ;
rdfs:subPropertyOf :P31i_was_modified_by,
:P92i_was_brought_into_existence_by ;
owl:inverseOf :P108_has_produced .