Template DimensionOfIndividual

This template is for specifying a typed Dimension of an Individual.

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.

1 hasTypeOfShapeDimension ClassOfShapeDimension
2 hasIndividual PossibleIndividual
3 valDimension ExpressReal
4 hasPropertyScale Scale


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


About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std