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

Date de création : 2023-11-08

Dernière mise à jour : 2023-12-22

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