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

Show
Ignore:
Timestamp:
06/05/10 16:29:42 (10 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/EnumeratedSetOfThreeClasses

    v0 v1  
     1=== Base Template !EnumeratedSetOf3Classes === 
     2 
     3[[br]]!EnumeratedSetOf3Classes is a template for collecting three classes into a fourth.  
     4[[br]] 
     5[[br]]!EnumeratedSetOf3Classes(a, b, c, d) means that a, b, c, and d are classes, and that a has  
     6[[br]]precisely b, c, and d as members.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasClassified1 Class  
     10[[br]]2 hasClassified2 Class  
     11[[br]]3 hasClassified3 Class  
     12[[br]]4 hasEnumeratedSetOfClass !EnumeratedSetOfClass  
     13 
     14Axiom:  
     15{{{ 
     16EnumeratedSetOf3Classes(x1, x2, x3, x4) <->  
     17Class(x1) &  
     18Class(x2) &  
     19Class(x3) &  
     20EnumeratedSetOfClass(x4) &  
     21ClassificationTemplate(x1, x4) &  
     22ClassificationTemplate(x2, x4) &  
     23ClassificationTemplate(x3, x4) &  
     24ClassificationTemplate(x4, SetOf3Classes) .  
     25}}} 
     26 
     27 
     28NOTE See 8.2.1 for further information on the representation used in this template.  
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