Changes between Version 1 and Version 2 of SigMmt/Templates/DimensionOfIndividual

Timestamp:

02/24/11 12:59:46 (13 years ago)

Author:

mfedorov (IP: 64.90.224.68)

Comment:

--

SigMmt/Templates/DimensionOfIndividual

@@ -20 +20 @@
 Scale(x4) &
 exists v (IndividualDimension(v) & DimensionOfIndividualTemplate(x2, v) &
-          exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & exists p (Property(p) and PropertyForShapeDimensionTemplate(p, u) & RealMagnitudeOfProperty(p, x3, x4)))) &
-.
+          exists u (ShapeDimension(u) & ClassificationTemplate(u, x1) & ClassificationTemplate(v, u) & 
+          exists p (Property(p) & PropertyForShapeDimensionTemplate(p, u) & RealMagnitudeOfProperty(p, x3, x4) &
+))).
 }}}