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