http://www.cidoc-crm.org/cidoc-crm/P108_has_produced
rdf:Property
Quantification: one to many, necessary, dependent (1,n:1,1)
Scope note:
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:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)
In First Order Logic:
- 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 |
|---|---|---|
| :E12_Production | :P108_has_produced | :E24_Physical_Human-Made_Thing |
@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#> .
:P108_has_produced a rdf:Property ;
rdfs:label "hat hergestellt"@de,
"παρήγαγε"@el,
"has produced"@en,
"a produit"@fr,
"produziu"@pt,
"произвeл"@ru,
"已产生了"@zh ;
rdfs:comment """Quantification: one to many, necessary, dependent (1,n:1,1)
Scope note:
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:
- The building of Rome (E12) has produced the Colosseum (E24). (Hopkins & Beard, 2011)
In First Order Logic:
- 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 :E12_Production ;
rdfs:range :E24_Physical_Human-Made_Thing ;
rdfs:subPropertyOf :P31_has_modified,
:P92_brought_into_existence ;
owl:inverseOf :P108i_was_produced_by .