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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/EnumeratedSetOfTwoClasses

    v0 v1  
     1=== Base Template !EnumeratedSetOf2Classes === 
     2 
     3[[br]]!EnumeratedSetOf2Classes is a template for collecting two classes into a third.  
     4[[br]] 
     5[[br]]!EnumeratedSetOf2Classes(a, b, c) means that a, b, and c are classes, and that a has precisely  
     6[[br]]b and c as members.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasClassified1 Class  
     10[[br]]2 hasClassified2 Class  
     11[[br]]3 hasEnumeratedSetOfClass !EnumeratedSetOfClass  
     12[[br]] 
     13 
     14Axiom:  
     15{{{ 
     16EnumeratedSetOf2Classes(x1, x2, x3) <->  
     17Class(x1) &  
     18Class(x2) &  
     19EnumeratedSetOfClass(x3) &  
     20ClassificationTemplate(x1, x3) &  
     21ClassificationTemplate(x2, x3) &  
     22ClassificationTemplate(x3, SetOf2Classes) .  
     23}}} 
     24 
     25NOTE The order in which the first two arguments is given is insignificant. The numbering in role names (“Classified 1”, “Classified 2”) is only applied in order to distinguish the roles from each other.  
     26 
     27NOTE See 8.2.1 for further information on the representation used in this template. 
Home
About PCA
Reference Data Services
Projects
Workgroups