Changes between Version 2 and Version 3 of SigMmt/Templates/IndirectPropertyRestrictionOfClass
- Timestamp:
- 03/04/11 09:14:37 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/IndirectPropertyRestrictionOfClass
v2 v3 18 18 Scale(x3) & 19 19 EnumeratedPropertySet(x4) & 20 exists u ( PropertySpace(u) &ClassOfIndirectPropertyTriple(x1, x2, u) &21 exists v ( NumberSpace(v) &ScaleTriple(x3, v, u)) &20 exists u (ClassOfIndirectPropertyTriple(x1, x2, u) & 21 exists v (ScaleTriple(x3, v, u)) & 22 22 ClassOfClassificationTemplate(u, x4)). 23 23 }}}