P50 a pour actant détenteur actuel (est l’actant détenteur actuel)

Date de création : 2024-08-28

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

Domaine

E18 Physical Thing

E18_Chose_matérielle

Portée

E39 Actor

E39_Actant

Sous-propriété de

E18 Physical Thing. P49 has former or current keeper (is former or current keeper of): E39 Actor

E18_Chose_matérielle. P49_a_pour_actant_détenteur_actuel_ou_antérieur (est_l’actant_détenteur_actuel_ou_antérieur_de) : E39_Actant

Super-propriété de

Quantification

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

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

Note d’application

This property identifies the instance of E39 Actor that had custody of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.

This property is a shortcut for the more detailed path from E18 Physical Thing through, P30i custody transferred through, E10 Transfer of Custody, P29 custody received by to E39 Actor, if and only if the custody has not been surrendered by the receiving actor at any later time

Cette propriété identifie une instance de E39_Actant ayant eu la garde d’une instance de E18_Chose_matérielle au moment où l'information dans l'enregistrement ou la base de données contenant l'énoncé décrit par cette propriété était considérée valide.

Cette propriété est un raccourci du chemin sémantique suivant uniquement lorsque la garde n'a pas ultérieurement été cédée par l'actant la recevant : E18_Chose_matérielle, P30i_a_été_l’objet_d’un_transfert_de_garde_par, E10_Transfert_de_la_garde, P29_a_confié_la_garde_par, E39_Actant.

Exemples

  • The paintings from The Iveagh Bequest (E78) has current keeper The National Gallery (E74) (Iveagh Bequest, 1975)

  • Les œuvres peintes de la collection Iveagh Bequest (E78_Collection) ont pour actant détenteur actuel (P50_a_pour_actant_détenteur_actuel) la National Gallery (E74_Groupe) (Iveagh Bequest, 1975)

Logique

  • P50(x,y) ⇒ E18(x)

  • P50(x,y) ⇒ E39(y)

  • P50(x,y) ⇒ P49(x,y)

  • P50(x,y) ⇐ (∃z) [[E10(z) ˄ P30i(x,z) ˄ P29(z,y) ]

  • ˄ ¬ (∃w) [E10(w) ˄ P30i(x,w) ˄ P28(w,y)˄ P182(z,w)]]

P50(x,y) ⇒ E18(x)

P50(x,y) ⇒ E39(y)

P50(x,y) ⇒ P49(x,y)

P50(x,y) ⇐ (∃z) [[E10(z) ˄ P30i(x,z) ˄ P29(z,y)]

˄ ¬ (∃w) [E10(w) ˄ P30i(x,w) ˄ P28(w,y)˄ P182(z,w)]]

Propriétés

Note de traduction

Références