Version 1 (modified by onnopaap, 14 years ago) |
---|
Base Template EnumeratedSetOf3Classes
EnumeratedSetOf3Classes is a template for collecting three classes into a fourth.
EnumeratedSetOf3Classes(a, b, c, d) means that a, b, c, and d are classes, and that a has
precisely b, c, and d as members.
Roles:
1 hasClassified1 Class
2 hasClassified2 Class
3 hasClassified3 Class
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.