crm:P108_has_produced leaf node


URI

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

Label

P108 has produced

Description

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)

Usage

DOMAINPROPERTYRANGE
crm:E12_Production crm:P108_has_produced crm:E24_Physical_Man-Made_Thing

Implementation

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