http://www.cidoc-crm.org/cidoc-crm/P108_has_produced
Scope note:
This property identifies the E24 Physical Man-Made Thing that came into existence as a result of an E12 Production.
The identity of an instance of E24 Physical Man-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 Man-Made Thing.
Examples:
- The building of Rome (E12) has produced Τhe Colosseum (E22)
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 |
---|---|---|
crm:E12_Production | crm:P108_has_produced | crm:E24_Physical_Man-Made_Thing |
@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
crm:P108_has_produced a owl:ObjectProperty ;
rdfs:label "P108 has produced"@en ;
rdfs:comment """Scope note:
This property identifies the E24 Physical Man-Made Thing that came into existence as a result of an E12 Production.
The identity of an instance of E24 Physical Man-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 Man-Made Thing.
Examples:
- The building of Rome (E12) has produced Τhe Colosseum (E22)
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 crm:E12_Production ;
rdfs:range crm:E24_Physical_Man-Made_Thing ;
rdfs:subPropertyOf crm:P31_has_modified,
crm:P92_brought_into_existence ;
owl:equivalentProperty ecrm:P108_has_produced ;
owl:inverseOf crm:P108i_was_produced_by ;
skos:notation "P108"^^xsd:string .