Base Template RealMagnitudeOfProperty


This template provides a version of MagnitudeOfProperty for which the magnitude is given by a datatyped representation rather than a number object.

RealMagnitudeOfProperty(a, b, c) means that a is is an instance of Property, b is a floating point number with the property value and d the Scale as unit of measurement.

Roles:
1 hasProperty Property
2 valPropertyValue ExpressReal
3 hasPropertyScale Scale

Axiom

Template RealMagnitudeOfProperty(x1, x2, x3) <-> 
Property(x1) & 
ExpressReal(x2) & 
Scale(x3) & 
exists u(MagnitudeOfProperty(x1, u, x3) & 
IdentificationByNumber(x2, u)) . 

Lifted template

  Property(x1)
& ExpressReal(x2)
& Scale(x3)
& exists u
     (  (  Property(x1)
         & RealNumber(u)
         & Scale(x3)
         & exists u0
              (  (  PropertyQuantification(u0)
                  & hasInput(u0, x1)
                  & hasResult(u0, u))
               & exists z
                    (  Classification(z)
                     & hasClassified(z, u0)
                     & hasClassifier(z, x3))))
      & ExpressReal(x2)
      & Thing(u)
      & exists z0
           (ClassOfIdentification(z0) & hasPattern(z0, x2) & hasRepresented(z0, u)))      

Analysis diagram

Revision log

datebydescription
02/06/2011Onno PaapChanged ArithmeticNumber to RealNumber

Attachments

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