P125 a mobilisé l’objet du type (a été le type d’objet employé pour)

Date de création : 2024-08-28

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

Domaine

E7 Activity

E7_Activité

Portée

E55 Type

E55_Type

Sous-propriété de

Super-propriété de

E7 Activity. P32 used general technique (was technique of): E55 Type

E7_Activité . P32_a_mobilisé_comme_technique_générale (a_été_la_technique_générale_mise_en_œuvre_dans) : E55_Type

Quantification

many to many (0,n:0,n)

plusieurs à plusieurs (0,n:0,n)

Note d’application

This property associates an instance of E7 Activity to an instance of E55 Type, which classifies an instance of E70 Thing used in an instance of E7 Activity, when the specific instance is either unknown or not of interest, such as use of “a hammer”.

This property is a shortcut of the more fully developed path from E7 Activity through P16 used specific object, E70 Thing, P2 has type, to E55 Type.

Cette propriété associe une instance de E7_Activité à une instance de E55_Type. P125_a_mobilisé_l'objet_du_type (a_été_le_type_d’objet_employé_pour) est utilisée pour classifier, avec une instance de E55_Type, une instance de E70_Chose utilisée dans une instance de E7_Activité lorsque la nature spécifique de cette instance de E70_Chose ne présente pas d’intérêt ou est inconnue, comme l'utilisation d'« un marteau ».

Cette propriété est un raccourci du chemin sémantique suivant E7_Activité. P16_a_mobilisé_l’objet_spécifique : E70_Chose. P2_a_pour_type : E55_Type.

Exemples

  • The English archers’ activity in the Battle of Agincourt (E7) used object of type long bow (E55). (Curry, 2015)

  • Les activités des archers anglais lors de la bataille d’Azincourt (E7_Activité) ont mobilisé les objets du type (P125_a_mobilisé_l'objet_du_type) « arc long » (E55_Type) (Curry, 2015)

Logique

  • P125(x,y) ⇒ E7(x)

  • P125(x,y) ⇒ E55(y)

  • P125(x,y) ⇔ (∃z) [E70(z) ∧ P16(x,z) ∧ P2(z,y)]

P125(x,y) ⇒ E7(x)

P125(x,y) ⇒ E55(y)

P125(x,y) ⇔ (∃z) [E70(z) ∧ P16(x,z) ∧ P2(z,y)]

Propriétés

Note de traduction

Références