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.

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

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

Attachments

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