Base Template SuccessionOfInvolvementInActivity
This template is for expressing that in an activity, one thing that’s involved in the activity is succeeded by another.
NOTE 1 Here the involved things are arguments to the template, not the involvement relationships themselves.
SuccessionOfInvolvementInActivity(a, b, c) means that a is a involvement and b is an involvement, and c an activity. b succeeds a, and both are involved in activity c.
Roles:
1 hasInvolvedPredecessor Thing
2 hasInvolvedSuccessor Thing
3 hasInvolver Activity
Axiom:
SuccessionOfInvolvementInActivity(x1, x2, x3) <-> Thing(x1) & Thing(x2) & Activity(x3) & exists u1exists u2( InvolvementByReferenceTriple(u1, x1, x3)& InvolvementByReferenceTriple(u2, x2, x3)& SuccessionOfInvolvementByReference(u1, u2)) .