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

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

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/SymbolOfScale

    v0 v1  
     1=== Base Template !SymbolOfScale === 
     2 
     3[[br]]!SymbolOfScale is a template for expressing that a symbol represents a scale.  
     4[[br]] 
     5[[br]]!SymbolOfScale(a, b, c) means that a is a scale, b is a string and that b is an identifier for a designated as a unit of measure symbol.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasScale Scale  
     9[[br]]2 valSymbol ExpressString  
     10 
     11Axiom:  
     12{{{ 
     13SymbolOfScale(x1, x2) <->  
     14Scale(x1) &  
     15ExpressString(x2) &  
     16ClassifiedIdentification(x1, x2, UomSymbolAssignment) .  
     17}}} 
     18 
     19NOTE This template uses the reference item !UomSymbolAssignment, a relation introduced for symbol assignment as a distinguished kind of naming. See 8.2.2.  
Home
About PCA
Reference Data Services
Projects
Workgroups