Changes between Version 6 and Version 7 of SigMmt/Templates/ParticipatorInActivity

Show
Ignore:
Timestamp:
01/17/11 08:22:08 (11 years ago)
Author:
mfedorov (IP: 93.186.61.242)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/ParticipatorInActivity

    v6 v7  
    1414Axiom:  
    1515{{{ 
    16 !ParticipatorInActivity (x1, x2, x3, x4, x5) <->  
    17 !Activity(x1) &  
    18 !ClassOfActivity (x2) &  
    19 !PossibleIndividual(x3) &  
    20 !RoleAndDomain (x4) &  
    21 !ClassOfIndividual(x5) &  
    22 !ClassificationTemplate(x1,x2) &  
    23   exists y1 (!ParticipationTriple(y1, x3, x1) & 
     16ParticipatorInActivity (x1, x2, x3, x4, x5) <->  
     17Activity(x1) &  
     18ClassOfActivity (x2) &  
     19PossibleIndividual(x3) &  
     20RoleAndDomain (x4) &  
     21ClassOfIndividual(x5) &  
     22ClassificationTemplate(x1,x2) &  
     23  exists y1 (ParticipationTriple(y1, x3, x1) & 
    2424    exists y2 ( exists y3 ( 
    25     !ClassOfParticipationTriple(y3, y2, x2) & 
    26     !SpecializationTemplate(y2, x4) & 
    27     !SpecializationTemplate(y2, x5) & 
    28     !ClassificationTemplate(x3, y2) & 
    29     !ClassificationTemplate(y1, y3) ))) . 
     25    ClassOfParticipationTriple(y3, y2, x2) & 
     26    SpecializationTemplate(y2, x4) & 
     27    SpecializationTemplate(y2, x5) & 
     28    ClassificationTemplate(x3, y2) & 
     29    ClassificationTemplate(y1, y3) ))) . 
    3030}}} 
    3131 
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