p is a process = Def. p is an occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t. (axiom label in BFO2 Reference: [083-003])
An occurrent that has temporal proper parts and for some time t, p s-depends_on some material entity at t.