@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> . @prefix ecrm: <http://erlangen-crm.org/current/> . @prefix owl: <http://www.w3.org/2002/07/owl#> . ecrm:P108_has_produced rdf:type owl:ObjectProperty . @prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> . ecrm:P108_has_produced rdfs:subPropertyOf ecrm:P92_brought_into_existence , ecrm:P31_has_modified ; owl:inverseOf ecrm:P108i_was_produced_by ; rdfs:label "P108 has produced"@en ; rdfs:domain ecrm:E12_Production ; rdfs:range ecrm:E24_Physical_Man-Made_Thing ; rdfs:comment "Scope note:\nThis property identifies the E24 Physical Man-Made Thing that came into existence as a result of an E12 Production.\nThe 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.\n\nExamples:\n- The building of Rome (E12) has produced \u03A4he Colosseum (E22)\n\nIn First Order Logic:\nP108(x,y) \u2283 E12(x)\nP108(x,y) \u2283 E24(y)\nP108(x,y) \u2283 P31(x,y)\nP108(x,y) \u2283 P92(x,y)"@en . @prefix xsd: <http://www.w3.org/2001/XMLSchema#> . @prefix skos: <http://www.w3.org/2004/02/skos/core#> . ecrm:P108_has_produced skos:notation "P108"^^xsd:string .