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.

Home
About PCA
Reference Data Services
Projects
Workgroups