Changes between Version 1 and Version 2 of SigMmt/Templates/DirectPropertyScaleReal
- Timestamp:
- 02/05/11 21:31:53 (13 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
SigMmt/Templates/DirectPropertyScaleReal
v1 v2 16 16 [[br]]4 hasPropertyScale Scale 17 17 18 Axiom:18 === Axiom === 19 19 {{{ 20 20 DirectPropertyScaleReal(x1, x2, x3, x4) <-> 21 21 PropertySpace(x1) & 22 22 PossibleIndividual(x2) & 23 RealNumber(x3) &23 ExpressReal(x3) & 24 24 Scale(x4) & 25 25 exists p (Property(p) & 26 ClassificationTemplate(x2, p) & 27 ClassificationTemplate(p, x1) & 28 exists u (PropertyQuantificationTriple(u, p, x3) & 29 ClassificationTemplate(u, x4) & 30 )) . 26 exists c (Classification(c) 27 & hasClassified(c, x2) 28 & hasClassifier(c, p) & 29 exists c0 (Classification(c0) 30 & hasClassified(c0, p) 31 & hasClassifier(c0, x1) & 32 RealMagnitudeOfProperty(p, x3, x4)))) . 31 33 }}} 32 34 33 35 EXAMPLE The statement !DirectPropertyScaleReal(LENGTH, 123, 4.300, METER) 36 37 === Lifted template === 38 {{{ 39 PropertySpace(x1) 40 & PossibleIndividual(x2) 41 & ExpressReal(x3) 42 & Scale(x4) 43 & exists p 44 ( Property(p) 45 & exists c 46 ( Classification(c) 47 & hasClassified(c, x2) 48 & hasClassifier(c, p) 49 & exists c0 50 ( Classification(c0) 51 & hasClassified(c0, p) 52 & hasClassifier(c0, x1) 53 & Property(p) 54 & ExpressReal(x3) 55 & Scale(x4) 56 & exists u 57 ( ( Property(p) 58 & ArithmeticNumber(u) 59 & Scale(x4) 60 & exists u0 61 ( ( PropertyQuantification(u0) 62 & hasInput(u0, p) 63 & hasResult(u0, u)) 64 & exists z 65 ( Classification(z) 66 & hasClassified(z, u0) 67 & hasClassifier(z, x4)))) 68 & ExpressReal(x3) 69 & Thing(u) 70 & exists z0 71 ( ClassOfIdentification(z0) 72 & hasPattern(z0, x3) 73 & hasRepresented(z0, u)))))) 74 }}} 34 75 35 76 === Analysis diagram === … … 39 80 === Revision log === 40 81 ||01/18/2011||!OnnoPaap||Released|| 82 ||02/05/2011||!OnnoPaap||Revised: added ExpressReal and made new analysis diagram||