P8 a eu lieu à (a été témoin de)

Date de création : 2020-05-03

Dernière mise à jour : 2023-05-25

Domaine	E4 Period	E4_Période
Portée	E18 Physical Thing	E18_Chose_matérielle
Sous-propriété de
Super-propriété de
Quantification	many to many (0,n:0,n)	plusieurs à plusieurs (0,n:0,n)
Note d’application	This property describes the location of an instance of E4 Period with respect to an instance of E19 Physical Object. This property is a shortcut of the more fully developed path from E4 Period through P7 took place at, E53 Place, P156i is occupied by, to E18 Physical Thing. It describes a period that can be located with respect to the space defined by an E19 Physical Object such as a ship or a building. The precise geographical location of the object during the period in question may be unknown or unimportant. For example, the French and German armistice of 22 June 1940 was signed in the same railway carriage as the armistice of 11 November 1918.	Cette propriété décrit la localisation d’une instance de E4_Période par rapport à une instance de E19_Objet_matériel. Cette propriété est un raccourci du chemin sémantique suivant : E4_Période, P7_a_eu_lieu_dans (a_été_témoin_de), E53_Lieu, P156i_est_occupé_par, E18_Chose_matérielle. Elle décrit une période qui peut être localisée dans l’espace défini par une instance de E19_Objet_matériel, tel qu’un navire ou un bâtiment. La localisation géographique précise de l’objet durant la période en question peut être inconnue ou sans importance. Par exemple, l’armistice du 22 juin 1940 entre la France et l’Allemagne fut signé dans le même wagon où a eu lieu la signature de l’armistice du 11 novembre 1918.
Exemples	the coronation of Queen Elizabeth II (E7) took place on or within Westminster Abbey (E19) (Strong, 2005)	Le couronnement de la reine Elizabeth II (E7_Activité) a eu lieu à (P8_a_eu_lieu_à) l’abbaye de Westminster (E19_Objet_matériel) (Strong, 2005)
Logique	P8(x,y) ⇒ E4(x) P8(x,y) ⇒ E18(y) P8(x,y) ⇐ (∃z) [E53(z) ˄ P7(x,z) ˄ P156i(z,y)]	P8(x,y) ⇒ E4(x) P8(x,y) ⇒ E18(y) P8(x,y) ⇐ (∃z) [E53(z) ˄ P7(x,z) ˄ P156i(z,y)]
Propriétés
Note de traduction
Références