Commit b04fa490 authored by Stephen Hart's avatar Stephen Hart
Browse files

Traduction de la propriété P11 par @shart

parent c3d61ad9
Pipeline #5208 passed with stages
in 3 seconds
......@@ -10,19 +10,17 @@
> | Scope note: | This property describes the active or passive participation of instances of E39 Actors in an instance of E5 Event. <br> It documents known events in which an instance of E39 Actor has participated during the course of that actor’s life or history. The instances of E53 Place and E52 Time-Span where and when these events happened provide us with constraints about the presence of the related instances of E39 Actor in the past. Collective actors, i.e., instances of E74 Group, may physically participate in events via their representing instances of E21 Persons only. The participation of multiple actors in an event is most likely an indication of their acquaintance and interaction.<br> The property implies that the actor was involved in the event but does not imply any causal relationship. For instance, someone having been portrayed can be said to have participated in the creation of the portrait.
> | Examples: | <br> Napoleon (E21) participated in The Battle of Waterloo (E7) <br> Maria (E21) participated in Photographing of Maria (E7)
> | In First Order Logic: | <br> P11(x,y) ⊃ E5(x)<br> P11(x,y) ⊃ E39(y) <br> P11(x,y) ⊃ P12(x,y)
> | Properties: |
# P11
| | |
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
| Domaine | E5 Évènement |
| Portée | E39 Acteur |
| Sous-propriété de | E5 Évènement. P12 a eu lieu en présence de (a été présent à): E77 Entité Persistante |
| Super-propriété de | E7 Activité. P14 a été effectué par (a effectué): E39 Actor<br>E67 Naissance. P96 de mère (a donné naissance à): E21 Personne<br>E68 Dissolution. P99 a dissous (a été dissous par): E74 Groupe<br>E85 Adhésion. P143 a fait adhérer (a adhéré par): E39 Acteur<br>E85 Adhésion. P144 a fait adhérer à (a accueilli un membre par): E74 Groupe<br>E86 Départ. P145 a dissocié de (s’est dissocié par): E39 Acteur<br>E86 Départ. P146 s’est dissocié par (a perdu un membre par): E74 Groupe<br>E66 Formation. P151 a été formé de (a participé à): E74 Groupe<br> |
| Quantification | plusieurs vers plusieurs (0,n:0,n) |
| Note d'application: | Cette propriété décrit la participation active ou passive d’une instance de E39 Actor à une instance de E5 Event.<br>Elle documente les évènements connus dans lesquels une instance de E39 Actor a participé durant le cours de la vie ou l’histoire de cet acteur. Les instances de E53 Lieu et de E52 Interval Temporel où et quand ces événements ont eu lieu nous munissent de limites concernant la présence dans le passé des instances de E39 Actor liée. Les acteurs collectifs, c'est-à-dire les instances de E74 Groupe, peuvent uniquement participer physiquement à des évènements via leurs instances de E21 Personne représentatives. La participation de plusieurs acteurs à un évènement est probablement une indication de leurs accointances et interactions.<br>Cette propriété implique que l'acteur était impliqué dans un évènement mais n’implique aucune relation causale. Par exemple, une personne dépeinte peut être considérée comme ayant participé à la création de son portrait. |
| Exemples: | Napoléon (E21) a participé à la Bataille de Waterloo (E7) <br>Maria (E21) a participé à la Photographie de Maria (E7) |
| Logique du premier ordre: | P11(x,y) ⊃ E5(x)<br>P11(x,y) ⊃ E39(y)<br>P11(x,y) ⊃ P12(x,y) |
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment