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

Show
Ignore:
Timestamp:
06/05/10 17:32:38 (14 years ago)
Author:
onnopaap (IP: 84.104.92.156)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/IndirectPropertyScaleReal

    v0 v1  
     1=== Base Template !IndirectPropertyScaleReal === 
     2 
     3[[br]]This template is for assigning a typed indirect property to an individual, with magnitude given as a real number and a scale.  
     4[[br]] 
     5[[br]]!IndirectPropertyScaleReal(a, b, c, d) means that a is is a !ClassOfIndirectProperty, b a (temporal part of)  
     6!PossibleIndividual to which the relation applies, c is a floating point number with the property value and d the  
     7Scale as unit of measurement. b has a a type of !ClassOfIndirectProperty, which has c value and d unit of measurement.  
     8[[br]] 
     9[[br]]Roles:  
     10[[br]]1 hasPropertyType !ClassOfIndirectProperty  
     11[[br]]2 hasPropertyPossessor !PossibleIndividual  
     12[[br]]3 valPropertyValue !ExpressReal  
     13[[br]]4 hasPropertyScale Scale  
     14 
     15Axiom:  
     16{{{ 
     17IndirectPropertyScaleReal(x1, x2, x3, x4) <->  
     18ClassOfIndirectProperty(x1) &  
     19PossibleIndividual(x2) &  
     20ExpressReal(x3) &  
     21Scale(x4) &  
     22exists u(InstanceOfIndirectProperty(x1, x2, u) &  
     23RealMagnitudeOfProperty(u, x3, x4)) .  
     24}}} 
Home
About PCA
Reference Data Services
Projects
Workgroups