=== Template !IndirectPropertyRestrictionOfClass ===

[[br]]This template is for stating that a member of a specific Class of Individuals may only be assigned an Indirect Property that is contained by a specific set of properties.
[[br]]
[[br]]!IndirectPropertyRestrictionOfClass(a, b, c, d) means that a is a !ClassOfIndirectProperty, b is a !ClassOfArrangedIndividual to which the relation applies, c is a Scale as unit of measure, and d is an !EnumeratedPropertySet to which assigned Properties belong.
[[br]]
[[br]]Roles: 
[[br]]1 hasPropertyType !ClassOfIndirectProperty 
[[br]]2 hasPossessorClass !ClassOfArrangedIndividual 
[[br]]3 hasScale Scale
[[br]]4 hasPropertySet !EnumeratedPropertySet

Axiom: 
{{{
IndirectPropertyRestrictionOfClass(x1, x2, x3, x4) <-> 
ClassOfIndirectProperty(x1) & 
ClassOfArrangedIndividual(x2) & 
Scale(x3) &
EnumeratedPropertySet(x4) &   
exists u (ClassOfIndirectPropertyTriple(x1, x2, u) &
          exists v (ScaleTriple(x3, v, u)) &
          ClassOfClassificationTemplate(u, x4)).
}}}

EXAMPLE The statement !IndirectPropertyRestrictionOfClass (NOMINAL DIAMETER, ELBOW TYPE XYZ, MILLIMETRE, ABC SET OF DIAMETERS)

=== Discussion ===

=== Analysis diagram ===
[[Image(IndirectPropertyRestrictionOfClass.png)]]