Changes between Version 13 and Version 14 of SigMmt/Templates/GeometryRadius

Show
Ignore:
Timestamp:
01/19/11 20:39:03 (13 years ago)
Author:
onnopaap (IP: 217.122.213.2)
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SigMmt/Templates/GeometryRadius

    v13 v14  
    1 === Core Template !GeometryRadius === 
    2 [[BR]]This template is for expressing the radius and scale on an !ObjectWithRadius which is a !PossibleIndividual.  
    3 [[BR]]  
    4 [[BR]]1 hasObject !PossibleIndividual 
    5 [[BR]]2 hasScale Scale 
    6 [[BR]]3 valValue !ExpressReal   
     1This template is deprecated. 
    72 
    8 Example instantiation: 
     3The Geometry SIG is working on a revised solution. 
    94 
    10 [[Image(GeometryRadius.png)]] 
    11  
    12 Axiom: 
    13  
    14 {{{ 
    15 GeometryRadius(x1, x2, x3) <->  
    16 PossibleIndividual(x1) &  
    17 ExpressReal(x2) &  
    18 Scale(x3) &  
    19 exists u1  
    20 exists u2  
    21 exists u3  
    22 exists u4  
    23 exists u5  
    24 exists u6  
    25 (  
    26 IndividualDimension(u1) & 
    27 Property(u2) & 
    28 PropertyQuantification(u3) & 
    29 RealNumber(u4) & 
    30 Classification(Circle, x1) &  
    31 Classification(Radius, u1) &   
    32 Classification(GeometryLength, u2) &  
    33 Classification(X3, u3) &  
    34 Classification(ZeroToInfinity, u4) &  
    35 DimensionOfIndividual(x1, u1) & 
    36 SpecializationOfIndividualDimensionFromPropertyTriple(u5, u1, u2) & 
    37 ScaleTriple(X3, GeometryLength, ZeroToInfinity) &  
    38 PropertyQuantificationTriple(u3, u2, u4) &  
    39 ClassOfIdentificationTriple(u6, u4, x2)  
    40 ) . 
    41 }}} 
     5OnnoPaap 
Home
About PCA
Reference Data Services
Projects
Workgroups