:P188i_is_production_tool_for leaf node


URI

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

Type

rdf:Property

Label

is production tool for

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 E99 Product Type with an instance of E19 Physical Object that is needed for the production of an instance of E18 Physical Thing. When the process of production is correctly executed in accordance with the plan and using the specified instance of E19 Physical Object, the resulting instance of E18 Physical Thing is considered an exemplar of this instance of E99 Product Type. The instance of E19 Physical Object may bear distinct features that are transformed into characteristic features of the resulting instance of E18 Physical Thing. Examples include models and moulds.

Examples of the inverse property:
- Volkswagen Type 11 (Beetle) (E99) requires production tool the luggage compartment lid mould for the Volkswagen Type 11 (Beetle) (E22). [See thumbnail image of the luggage compartment lid: https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/Volkswagen_Type_1_(Auto_classique_St._Lazare_'10).jpg/220px-Volkswagen_Type_1_(Auto_classique_St._Lazare_'10).jpg)] (Rieger, 2013)

In First Order Logic of the inverse property:
- P188(x,y) ⇒ E99(x)
- P188(x,y) ⇒ E19(y)

Usage

DOMAINPROPERTYRANGE
:E19_Physical_Object :P188i_is_production_tool_for :E99_Product_Type

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

:P188i_is_production_tool_for a rdf:Property ;
    rdfs:label "is production tool for"@en,
        "est l'outil de production de"@fr,
        "являeтся производствeнным инструм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 E99 Product Type with an instance of E19 Physical Object that is needed for the production of an instance of E18 Physical Thing. When the process of production is correctly executed in accordance with the plan and using the specified instance of E19 Physical Object, the resulting instance of E18 Physical Thing is considered an exemplar of this instance of E99 Product Type. The instance of E19 Physical Object may bear distinct features that are transformed into characteristic features of the resulting instance of E18 Physical Thing. Examples include models and moulds.

Examples of the inverse property:
- Volkswagen Type 11 (Beetle) (E99) requires production tool the luggage compartment lid mould for the Volkswagen Type 11 (Beetle) (E22). [See thumbnail image of the luggage compartment lid: https://upload.wikimedia.org/wikipedia/commons/thumb/b/b5/Volkswagen_Type_1_(Auto_classique_St._Lazare_'10).jpg/220px-Volkswagen_Type_1_(Auto_classique_St._Lazare_'10).jpg)] (Rieger, 2013)

In First Order Logic of the inverse property:
- P188(x,y) ⇒ E99(x)
- P188(x,y) ⇒ E19(y)
"""@en ;
    rdfs:domain :E19_Physical_Object ;
    rdfs:range :E99_Product_Type ;
    owl:inverseOf :P188_requires_production_tool .