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