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
- DimensionOfIndividual.PNG (121.9 kB) - added by mfedorov 13 years ago.