P12 occurred in the presence of (was present at) in Version 6.2.2

Domain:
E5 Event
Range:
E77 Persistent Item
Subproperty of:
No subproperties found
Superproperty of:
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): E24 Physical Man-Made 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, E79 Part Addition. P111 added (was added by): E18 Physical Thing, E80 Part Removal. P113 removed (was removed by): E18 Physical Thing
Quantification:
many to many, necessary (1,n:0,n)
Scope Note:
This property describes the active or passive presence of an E77 Persistent Item in an E5 Event without implying any specific role. 
 
It connects the history of a thing with the E53 Place and E50 Date of an event. For example, an object may be the desk, now in a museum on which a treaty was signed. The presence of an immaterial thing implies the presence of at least one of its carriers.
 
Examples:
  • Deckchair 42 (E19) was present at The sinking of the Titanic (E5)
In First Order Logic:
P12(x,y) ⊃ E5(x) , P12(x,y) ⊃ E77(y)