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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/LowerUpperOfPropertyRange

    v0 v1  
     1=== Base Template !LowerUpperOfPropertyRange === 
     2 
     3[[br]]!LowerUpperOfPropertyRange is a template for stating what the upper and lower bounds of a property range are.  
     4[[br]] 
     5[[br]]!LowerUpperOfPropertyRange(a, b, c) means that a is a property range and b and c are  
     6properties, and that b is the lower, c the upper bound of a.  
     7[[br]] 
     8[[br]]Roles:  
     9[[br]]1 hasPropertyRange !PropertyRange  
     10[[br]]2 hasLowerBound Property  
     11[[br]]3 hasUpperBound Property  
     12 
     13Axiom:  
     14{{{ 
     15LowerUpperOfPropertyRange(x1, x2, x3) <->  
     16PropertyRange(x1) &  
     17Property(x2) &  
     18Property(x3) &  
     19LowerBoundOfPropertyRangeTemplate(x2, x1) &  
     20UpperBoundOfPropertyRangeTemplate(x3, x1) .  
     21}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups