Changes between Initial Version and Version 1 of SigMmt/Templates/LowerUpperMagnitudeOfPropertyRange

Show
Ignore:
Timestamp:
06/05/10 16:32:30 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/LowerUpperMagnitudeOfPropertyRange

    v0 v1  
     1=== Base Template !LowerUpperMagnitudeOfPropertyRange === 
     2 
     3[[br]]!LowerUpperMagnitudeOfPropertyRange is a template for expressing the extent of a property range, in terms of maximum and minimum values on a scale.  
     4[[br]] 
     5[[br]]!LowerUpperMagnitudeOfPropertyRange(a, b, c, d) means that a is a property range, b is a scale, and c and d are numbers, and that a has c and d as, respectively, lower and upper bounds, as measured on the scale b.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasPropertyRange !PropertyRange  
     9[[br]]2 hasScale Scale  
     10[[br]]3 hasLowerBound !ArithmeticNumber  
     11[[br]]4 hasUpperBound !ArithmeticNumber  
     12 
     13Axiom:  
     14{{{ 
     15LowerUpperMagnitudeOfPropertyRange(x1, x2, x3, x4) <->  
     16PropertyRange(x1) &  
     17Scale(x2) &  
     18ArithmeticNumber(x3) &  
     19ArithmeticNumber(x4) &  
     20exists y1, y2(LowerUpperOfPropertyRange(x1, y1, y2) &  
     21MagnitudeOfProperty(y1, x3, x2) &  
     22MagnitudeOfProperty(y2, x4, x2)) .  
     23}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups