P53 a pour localisation actuelle ou antérieure (est la localisation actuelle ou antérieure de)

Date de création : 2023-11-08

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

Domaine	E18 Physical Thing	E18_Chose_matérielle
Portée	E53 Place	E53_Lieu
Sous-propriété de
Super-propriété de	E19 Physical Object. P55 has current location (currently holds): E53 Place E18 Physical Thing. P156 occupies (is occupied by): E53 Place	E19_Objet_matériel. P55_a_actuellement_pour_localisation (est_actuellement_la_localisation_de) : E53_Lieu E18_Chose_matérielle. P156_occupe (est_occupé_par) : E53_Lieu
Quantification	many to many, necessary (1,n:0,n)	plusieurs à plusieurs, nécessaire (1,n:0,n)
Note d’application	This property identifies an instance of E53 Place as the former or current location of an instance of E18 Physical Thing. In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location. In the case of immobile objects, the Place would normally correspond to the Place of creation. This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from to E53 Place.	Cette propriété identifie une instance de E53_Lieu comme localisation antérieure ou actuelle d'une instance de E18_Chose_matérielle. Dans le cas d'instances de E19_Objet_matériel, la propriété ne permet aucune indication de l'intervalle temporel pendant lequel l'instance de E19_Objet_matériel était située à cette instance de E53_Lieu, ni s'il s'agit de la localisation actuelle. Dans le cas d'objets immobiles, l'instance de E53_Lieu correspondrait normalement au lieu de création. 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_a_déplacé_vers (ou P27_a_déplacé_depuis), E53_Lieu.
Exemples	Silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53) (fictitious)	La coupe en argent « 232 » (E22_Objet_élaboré_par_l’humain) a pour localisation actuelle ou antérieure (P53_a_pour_localisation_actuelle_ou_antérieure) la Vitrine no 4 dans la salle no 23 du Museum of Oxford (E53_Lieu) (fictif)
Logique	P53(x,y) ⇒ E18(x) P53(x,y) ⇒ E53(y) P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]	P53(x,y) ⇒ E18(x) P53(x,y) ⇒ E53(y) P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]
Propriétés
Note de traduction
Références