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

Show
Ignore:
Timestamp:
06/05/10 17:31:12 (12 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/IdentificationByNumber

    v0 v1  
     1=== Base Template !IdentificationByNumber === 
     2 
     3[[br]]This is a template for naming things by real numbers.  
     4[[br]]!IdentificationByNumber(a, b) means that a is a real number, and a refers to b.  
     5[[br]] 
     6[[br]]Roles:  
     7[[br]]1 valIdentifier !ExpressReal  
     8[[br]]2 hasIdentified Thing  
     9 
     10Axiom:  
     11{{{ 
     12IdentificationByNumber(x1, x2) <->  
     13ExpressReal(x1) &  
     14Thing(x2) &  
     15ClassOfIdentificationTemplate(x1, x2) .  
     16}}} 
     17 
     18NOTE This template is a specialized version of the !ClassOfIdentificationTemplate, constraining the type of the first argument from  
     19!ClassOfInformationRepresentation to its subtype !ExpressReal.  
     20EXAMPLE The statement that the number Pie is identified by the decimal number 3.14 may be expressed as !IdentificationByNumber(3.14, Pie).  
Home
About PCA
Reference Data Services
Projects
Workgroups