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

Date de création : 2020-05-03

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

Domaine	E7 Activity	E7_Activité
Portée	E55 Type	E55_Type
Sous-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
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 E7 Activity to an instance of E55 Type, which defines used in an instance of E7 Activity, when the specific instance is either unknown or not of interest, such as use of "a hammer".	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 ».
Exemples	at the Battle of Agincourt (E7), the English archers used object of type long bow (E55) (Curry, 2015)	À la bataille d’Azincourt (E7_Activité), les archers anglais 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