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

Show
Ignore:
Timestamp:
06/05/10 17:42:28 (11 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/SuccessionOfInvolvementByReference

    v0 v1  
     1=== Base Template !SuccessionOfInvolvementByReference   === 
     2 
     3[[br]]This template is for expressing that one involvement is succeeded by another.  
     4[[br]] 
     5[[br]]!SuccessionOfInvolvementByReference(a, b) means that a is a involvement and b is an involvement, and that a is succeeded by b.  
     6[[br]] 
     7[[br]]NOTE !SuccessionOfInvolvementByReference is an RDL template because the reference individual !InvolvementSuccession appears in its template axiom.  
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasPredecessor !InvolvementByReference  
     11[[br]]2 hasSuccessor !InvolvementByReference  
     12 
     13Axiom:  
     14{{{ 
     15SuccessionOfInvolvementByReference(x1, x2) <->  
     16InvolvementByReference(x1) &  
     17InvolvementByReference(x2) &  
     18InstanceOfRelation(InvolvementSuccession, x1, x2) .  
     19}}} 
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