=== Template !RestrictedDimensionOfIndividual === [[br]]This template is for specifying a Dimension of an Individual where the Dimension is represented by a Property that is a member of a specific set of properties. [[br]] [[br]]!RestrictedDimensionOfIndividual(a, b, c, d, e) means that a is a !ClassOfShapeDimension, b a (temporal part of) !PossibleIndividual to which the relation applies, c is a value of the Property that represents an !IndividualDimension applied to b, d the Scale as unit of measurement, and e is an !EnumeratedPropertySet. The !IndividualDimension applied to b is a member of a !ShapeDimension that has an a type. The property that is represented by c value is a member of e where and is supposed to be an existing class in RDL. [[br]] [[br]]Roles: [[br]]1 hasTypeOfShapeDimension !ClassOfShapeDimension [[br]]2 hasIndividual !PossibleIndividual [[br]]3 valPropertyValue !ExpressReal [[br]]4 hasPropertyScale Scale [[br]]5 hasPropertySet !EnumeratedPropertySet [[br]] Axiom: {{{ RestrictedDimensionOfIndividual(x1, x2, x3, x4, x5) <-> ClassOfShapeDimension(x1) & PossibleIndividual(x2) & ExpressReal(x3) & Scale(x4) & EnumeratedPropertySet(x5) & exists v (DimensionOfIndividualTemplate(x2, v) & exists u, p (ShapeDimension(u) & Property(p) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & PropertyForShapeDimensionTemplate(p, u) & ClassificationTemplate(p, x5) & RealMagnitudeOfProperty(p, x3, x4))). }}} EXAMPLE The statement !RestrictedDimensionOfIndividual(OUTSIDE DIAMETER, CV123, 108, MILLIMETRE, ABC SET OF DIAMETERS). === Analysis Diagram === [[Image(RestrictedDimensionOfIndividual.PNG)]]