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

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

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 during 1949-1953 (E12) produced thing of product type Volkswagen Type 11 (Beetle) (E99) (Rieger, 2013)

  • L’activité de production 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