http://www.cidoc-crm.org/cidoc-crm/P186i_is_produced_by
rdf:Property
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)]
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E99_Product_Type | :P186i_is_produced_by | :E12_Production |
@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 .