:P186i_is_produced_by leaf node


URI

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

Type

rdf:Property

Label

is produced by

Description

Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E12 Production with the instance of E99 Production Type, that is, the type of the things it produces.

Examples of the inverse property:
- The production activity of the Volkswagen factory related to the “Standard limousine Type II” during 1949-1953 (E12) produced thing of product type Volkswagen Type 11 (Beetle) (E99). (Rieger, 2013)

In First Order Logic of the inverse property:
- P186(x,y) ⇒ E12(x)
- P186(x,y) ⇒ E99(y)
- P186(x,y) ⇒ (∃z) [E24(z) ∧ P108(x,z) ∧ P2(z,y)]

Usage

DOMAINPROPERTYRANGE
:E99_Product_Type :P186i_is_produced_by :E12_Production

Implementation

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

:P186i_is_produced_by a rdf:Property ;
    rdfs:label "is produced by"@en,
        "est produit par"@fr,
        "производится компаниeй"@ru ;
    rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)

Scope note of the inverse property:
This property associates an instance of E12 Production with the instance of E99 Production Type, that is, the type of the things it produces.

Examples of the inverse property:
- The production activity of the Volkswagen factory related to the “Standard limousine Type II” during 1949-1953 (E12) produced thing of product type Volkswagen Type 11 (Beetle) (E99). (Rieger, 2013)

In First Order Logic of the inverse property:
- P186(x,y) ⇒ E12(x)
- P186(x,y) ⇒ E99(y)
- P186(x,y) ⇒ (∃z) [E24(z) ∧ P108(x,z) ∧ P2(z,y)]
"""@en ;
    rdfs:domain :E99_Product_Type ;
    rdfs:range :E12_Production ;
    owl:inverseOf :P186_produced_thing_of_product_type .