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)) .
Home
About PCA
Reference Data Services
Projects
Workgroups