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

Show
Ignore:
Timestamp:
06/05/10 16:35:35 (11 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/MagnitudeOfProperty

    v0 v1  
     1=== Base Template !MagnitudeOfProperty === 
     2 
     3[[br]]!MagnitudeOfProperty is a template for stating magnitude of properties.  
     4[[br]] 
     5[[br]]!MagnitudeOfProperty(a, b, c) means that a is a property, b is a number, and c is a scale, and that b is the value of a as measured on the scale c.  
     6[[br]] 
     7[[br]]Roles:  
     8[[br]]1 hasProperty Property  
     9[[br]]2 hasPropertyValue !ArithmeticNumber  
     10[[br]]3 hasPropertyScale Scale  
     11 
     12Axiom:  
     13{{{ 
     14MagnitudeOfProperty(x1, x2, x3) <->  
     15Property(x1) &  
     16ArithmeticNumber(x2) &  
     17Scale(x3) &  
     18exists u(PropertyQuantificationTriple(u, x1, x2) &  
     19ClassificationTemplate(u, x3)) .  
     20}}} 
Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search