"Building Ontologies with Basic Formal Ontology" (Arp, Robert; Smith, Barry; Spear, Andrew D., The MIT Press, 2015) offers the following on BFO participation.
Participation: The relation between a material entity and a process that obtains in virtue of the fact that the former participates in the latter. (p.182)
The relation has_participant holds between a process and a continuant entity when the latter participates in or is involved in the former. (p.142)
Latest BFO 2020 OWL file:
has_participant_at_some_time
p has participant c at some time = (Def.) for some time t (p is a process, c is a continuant, and c participates in some way at t)
Domain: 'Specifically Dependent Continuant' or 'Generically Dependent Continuant' or ('Independent Continuant' and (not('Spatial Region')))
Can we assume the p.182 excerpt has a typographical error, where material entity should be replaced with continuant?
Thank you for your feedback.