P12 occurred in the presence of (was present at) in version 7.1
|No subproperties found|
E5 Event. P11 had participant (participated in): E39 Actor, E7 Activity. P16 used specific object (was used for): E70 Thing, E9 Move. P25 moved (moved by): E19 Physical Object, E11 Modification. P31 has modified (was modified by): E18 Physical Thing, E63 Beginning of Existence. P92 brought into existence (was brought into existence by): E77 Persistent Item, E64 End of Existence. P93 took out of existence (was taken out of existence by): E77 Persistent Item, E80 Part Removal. P113 removed (was removed by): E18 Physical Thing
many to many, necessary (1,n:0,n)
This property describes the active or passive presence of an E77 Persistent Item in an instance of E5 Event without implying any specific role.
It documents known events in which an instance of E77 Persistent Item was present during the course of its life or history. For example, an object may be the desk, now in a museum on which a treaty was signed. The instance of E53 Place and the instance of E52 Time-Span where and when these events happened provide us with constraints about the presence of the related instance E77 Persistent Item in the past. Instances of E90 Symbolic Object, in particular information objects, are physically present in events via at least one of the instances of E18 Physical Thing carrying them. Note, that the human mind can be such a carrier. A precondition for a transfer of information to a person or another new physical carrier is the presence of the respective information object and this person or physical thing in one event.
- Deckchair 42 (E19) was present atThe sinking of the Titanic (E5) (Aldridge, 2008)
- The rebuilding of the city walls of Heraklion by the Venetian rulers starting in 1462 (E12) had general purposePreventing Conquest by Enemy (E55) (YouIngGreece.com, 2020)
- The building of the seawallin Hamamatsu, Shizuoka, Japan between 2014 and 2020 (E12) had general purposePreventingin-Land Flooding by Tsunami (Sugao, 2020)
In First Order Logic:
P12(x,y) ⇒ E5(x) , P12(x,y) ⇒ E77(y)