P186 produced thing of product type (is produced by) in version 7.1

Domain:
E12 Production
Range:
E99 Product Type
Subproperty of:
No subproperties found
Superproperty of: No superproperties found
Quantification:
many to many (0,n:0,n)
Scope Note:

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:
  • The production activity of the Volkswagen factory during 1949-1953 (E12) produced thing of product type Volkswagen Type 11 (Beetle) (E99) (Rieger, 2013)
In First Order Logic:
P186(x,y) ⇒E12(x), P186(x,y) ⇒E99(y), P186(x,y) ⇒(∃z) [E24(z) ∧P108(x,z) ∧P2(z,y)]