Version 3 (modified by mfedorov, 13 years ago)

--

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
Projects
Workgroups