Changes between Version 3 and Version 4 of SigMmt/Templates/RestrictedDimensionOfIndividual

Timestamp:

02/14/11 20:01:06 (13 years ago)

Author:

mfedorov (IP: 95.27.51.220)

Comment:

--

SigMmt/Templates/RestrictedDimensionOfIndividual

@@ -13 +13 @@
 [[br]]
 
+Axiom: 
+{{{
+RestrictedDimensionOfIndividual(x1, x2, x3, x4, x5) <-> 
+ClassOfShapeDimension(x1) &
+PossibleIndividual(x2) & 
+Property(x3) & 
+Scale(x4) &
+EnumeratedPropertySet(x5) & 
+exists v (IndividualDimension(v) & DimensionOfIndividualTemplate(x2, v) &
+          exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & PropertyForShapeDimensionTemplate(x3, u))) &
+ClassificationTemplate(x3, x5) &
+exists p (ExpressReal(p) & RealMagnitudeOfProperty(x3, p, x4)).
+}}}
+
+
 EXAMPLE The statement !RestrictedDimensionOfIndividual(OUTSIDE DIAMETER, CV123, 108MM, MILLIMETRE, ABC SET OF DIAMETERS).