=== Base Template !EnumeratedSetOf3Classes ===

[[br]]!EnumeratedSetOf3Classes is a template for collecting three classes into a fourth. 
[[br]]
[[br]]!EnumeratedSetOf3Classes(a, b, c, d) means that a, b, c, and d are classes, and that a has 
[[br]]precisely b, c, and d as members. 
[[br]]
[[br]]Roles: 
[[br]]1 hasClassified1 Class 
[[br]]2 hasClassified2 Class 
[[br]]3 hasClassified3 Class 
[[br]]4 hasEnumeratedSetOfClass !EnumeratedSetOfClass 

Axiom: 
{{{
EnumeratedSetOf3Classes(x1, x2, x3, x4) <-> 
Class(x1) & 
Class(x2) & 
Class(x3) & 
EnumeratedSetOfClass(x4) & 
ClassificationTemplate(x1, x4) & 
ClassificationTemplate(x2, x4) & 
ClassificationTemplate(x3, x4) & 
ClassificationTemplate(x4, SetOf3Classes) . 
}}}


NOTE See 8.2.1 for further information on the representation used in this template.