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

Date de création : 2024-08-28

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

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