participates in at some time participates-in_st [copied from inverse property 'has participant at some time'] BFO2 Reference: independent continuant that is not a spatial region, specifically dependent continuant, generically dependent continuant [copied from inverse property 'has participant at some time'] Alan Ruttenberg: This is a binary version of a ternary time-indexed, instance level, relation. The BFO reading of the binary relation 'has participant at some time@en' is: exists t, exists_at(x,t) & exists_at(y,t) & 'has participant@en'(x,y,t) [copied from inverse property 'has participant at some time'] BFO2 Reference: process participatesInAt [copied from inverse property 'has participant at some time'] BFO 2 Reference: Spatial regions do not participate in processes. [copied from inverse property 'has participant at some time'] has_participant is an instance-level relation between a process, a continuant, and a temporal region at which the continuant participates in some way in the process. (axiom label in BFO2 Reference: [086-003]) has participant at some time continuant spatial region process