P55 a actuellement pour localisation (est actuellement la localisation de)

Date de création : 2024-08-28

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

Domaine	E19 Physical Object	E19_Objet_matériel
Portée	E53 Place	E53_Lieu
Sous-propriété de	E18 Physical Thing. P53 has former or current location (is former or current location of): E53 Place	E18_Chose_matérielle. P53_a_pour_localisation_actuelle_ou_antérieure (est_la_localisation_actuelle_ou_antérieure_de) : E53_Lieu
Super-propriété de
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	This property records the location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property. This property is a specialisation of P53 has former or current location (is former or current location of). It indicates that the instance of E53 Place associated with the instance of E19 Physical Object is the current location of the object. The property does not allow any indication of how long the object has been at the current location. This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, through, P25i moved by, E9 Move, P26 moved to to E53 Place if and only if this Move is the most recent.	Cette propriété enregistre la localisation d’une instance de E19_Objet_matériel 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 une sous-propriété de P53_a_pour localisation actuelle ou antérieure (est_la_localisation_actuelle_ou_antérieure_de). La propriété indique que l’instance de E53_Lieu associée à l’instance de E19_Objet_matériel est la localisation de l’objet. La propriété ne permet pas d’indiquer depuis combien de temps l’objet se trouve à la localisation actuelle. Cette propriété est un raccourci du chemin sémantique suivant : E19_Objet_matériel, P25i_a_été_déplacé_par, E9_Déplacement, P26_Move_to, P26_a_déplacé_vers, E53_Lieu, si et seulement si ce déplacement est le plus récent.
Exemples	Silver cup 232 (E22) has current location Display Cabinet 23, Room 4, British Museum (E53). (fictitious)	La coupe en argent « 232 » (E22_Objet_élaboré_par_l’humain) a actuellement pour localisation (P55_a_actuellement_pour_localisation) la Vitrine no 23 dans la salle no 4 du British Museum (E53_Lieu) (fictif)
Logique	P55(x,y) ⇒ E19(x) P55(x,y) ⇒ E53(y) P55(x,y) ⇒ P53(x,y) P55(x,y) ⇐ (∃z) [ [E9(z) ˄ P25i(x,z) ˄ P26(z,y)] ˄ ¬​ (∃w) [E9(w) ˄ P25i(x,w) ˄ P27(w,y)˄ P182(z,w)]]​	P55(x,y) ⇒ E19(x) P55(x,y) ⇒ E53(y) P55(x,y) ⇒ P53(x,y) P55(x,y) ⇐ (∃z) [ [E9(z) ˄ P25i(x,z) ˄ P26(z,y)] ˄ ¬​ (∃w) [E9(w) ˄ P25i(x,w) ˄ P27(w,y)˄ P182(z,w)]]​
Propriétés
Note de traduction
Références