P167 s’inscrivait dans (comporte)

Date de création : 2023-11-08

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

Domaine	E93 Presence	E93_Présence
Portée	E53 Place	E53_Lieu
Sous-propriété de
Super-propriété de
Quantification	many to many, necessary (1,n:0,n)	plusieurs à plusieurs, nécessaire (1,n ;0,n)
Note d’application	This property associates an instance of E93 Presence with an instance of E53 Place that geometrically includes the spatial projection of the respective instance of E93 Presence. Besides others, this property may be used to state in which space an object has been for some known time, such as a room of a castle or in a drawer. It may also be used to describe a confinement of the spatial extent of some realm during a known time-span. This property is a shortcut of the more fully developed path from E93 Presence through P161 has spatial projection, E53 Place, P89 falls within (contains) to E53 Place.	Cette propriété associe une instance de E93_Présence à une instance de E53_Lieu qui inclut géométriquement la projection spatiale de l'instance de E93_Présence. Cette propriété peut notamment être utilisée pour indiquer dans quel espace un objet se trouve depuis un certain temps, par exemple dans une pièce d'un château ou dans un tiroir. Elle peut également être utilisée pour décrire le confinement de l'étendue spatiale d'un domaine pendant un intervalle temporel connu. Cette propriété est un raccourci du chemin sémantique suivant : E93_Présence, P161_a_pour_projection_spatiale, E53_Lieu, P89_s’insère_dans (contient), E53_Lieu.
Exemples	Johann Joachim Winkelmann’s whereabouts in December 1755 (E93) was within Rome (E53). (Leppmann, 1970) Johann Joachim Winkelmann’s whereabouts from 19th November 1755 until 9th April 1768 (E93) was within Italy (E53). (Leppmann, 1970)	La localisation de Johann Joachim Winckelmann en décembre 1775 (E93_Présence) s’inscrivait dans (P167_s’inscrivait_dans) Rome (E53_Lieu) La localisation de Johann Joachim Winkelmann du 19 novembre 1755 au 9 avril 1768 (E93_Présence) s’inscrivait dans (P167_s’inscrivait_dans) l’Italie (E53_Lieu)
Logique	P167(x,y) ⇒ E93(x) P167(x,y) ⇒ E53(y) P167(x,y) ⇔ (∃z) [E53(z) ˄ P161(x,z) ˄ P89(z,y)]	P167(x,y) ⇒ E93(x) P167(x,y) ⇒ E53(y) P167(x,y) ⇔ (∃z) [E53(z) ˄ P161(x,z) ˄ P89(z,y)]
Propriétés
Note de traduction
Références