Changes between Initial Version and Version 1 of SigMmt/Templates/SuccessionOfInvolvementInActivity

Show
Ignore:
Timestamp:
06/05/10 17:43:18 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/SuccessionOfInvolvementInActivity

    v0 v1  
     1=== Base Template !SuccessionOfInvolvementInActivity === 
     2 
     3[[br]]This template is for expressing that in an activity, one thing that’s involved in the activity is succeeded by another.  
     4[[br]] 
     5[[br]]NOTE 1 Here the involved things are arguments to the template, not the involvement relationships themselves.  
     6[[br]] 
     7[[br]]!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.  
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasInvolvedPredecessor Thing  
     11[[br]]2 hasInvolvedSuccessor Thing  
     12[[br]]3 hasInvolver Activity  
     13 
     14Axiom:  
     15{{{ 
     16SuccessionOfInvolvementInActivity(x1, x2, x3) <->  
     17Thing(x1) &  
     18Thing(x2) &  
     19Activity(x3) &  
     20exists u1exists u2(  
     21InvolvementByReferenceTriple(u1, x1, x3)&  
     22InvolvementByReferenceTriple(u2, x2, x3)&  
     23SuccessionOfInvolvementByReference(u1, u2)) . 
     24}}} 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search