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

Date de création : 2024-08-28

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

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 E18 Physical Thing.

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 22nd June 1940 was signed in the same railway carriage as the armistice of 11th November 1918.

Cette propriété décrit la localisation d’une instance de E4_Période par rapport à une instance de E18_Chose_matérielle.

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 (E18). (Strong, 2005)

  • Le couronnement de la reine Elizabeth II (E7_Activité) a eu lieu à (P8_a_eu_lieu_à) l’abbaye de Westminster (E18_Chose_matérielle) (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