=== Template !DimensionOfIndividual ===

[[br]]This template is for specifying a typed Dimension of an Individual.
[[br]]
[[br]]!DimensionOfIndividual(a, b, c, d) means that a is a !ClassOfShapeDimension, b is a (temporal part of) !PossibleIndividual to which the relation applies, c is a value of the dimension, and d is the Scale as unit of measurement.
[[br]]
[[br]]Roles: 
[[br]]1 hasTypeOfShapeDimension !ClassOfShapeDimension 
[[br]]2 hasIndividual !PossibleIndividual 
[[br]]3 valDimension !ExpressReal 
[[br]]4 hasPropertyScale Scale 
[[br]]

Axiom: 
{{{
DimensionOfIndividual(x1, x2, x3, x4) <-> 
ClassOfShapeDimension(x1) &
PossibleIndividual(x2) & 
ExpressReal(x3) & 
Scale(x4) &
exists v (DimensionOfIndividualTemplate(x2, v) &
          exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & 
          exists p (PropertyForShapeDimensionTemplate(p, u) & RealMagnitudeOfProperty(p, x3, x4)))) .
}}}


EXAMPLE The statement !DimensionOfIndividual(OUTSIDE DIAMETER, CV123, 108, MILLIMETRE).

=== Analysis Diagram ===
[[Image(DimensionOfIndividual.PNG)]]