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

Show
Ignore:
Timestamp:
06/05/10 16:29:42 (12 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
Projects
Workgroups