P186 a produit la chose du type (est produit par)

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

Domaine	E12 Production	E12_Production
Portée	E99 Product Type	E99_Modèle_de_produit
Sous-propriété de
Super-propriété de
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	This property associates an instance of E12 Production with the instance of E99 Production Type, that is, the type of the things it produces.	Cette propriété associe une instance de E12_Production avec l’instance de E99_Modèle_de_produit qui identifie le modèle de la chose produite.
Exemples	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)	L’activité de production reliée à la « Standard Limousine Type II » de l’usine Volkswagen entre 1949 et 1953 (E12_Production) a produit une chose du type (P186_a_produit_la_chose_du_type) Volkswagen Type 11 (Beetle) (E99_Modèle_de_produit) (Rieger, 2013)
Logique	P186(x,y) ⇒ E12(x) P186(x,y) ⇒ E99(y) P186(x,y) ⇒ (∃z) [E24(z) ∧ P108(x,z) ∧ P2(z,y)]	P186(x,y) ⇒ E12(x) P186(x,y) ⇒ E99(y) P186(x,y) ⇒ (∃z) [E24(z) ∧ P108(x,z) ∧ P2(z,y)]
Propriétés
Note de traduction
Références