=== Core Template !GeometryRadius ===
[[BR]]This template is for expressing the radius and scale on an !ObjectWithRadius which is a !PossibleIndividual. 
[[BR]] 
[[BR]]1 hasObjectWithRadius !ObjectWithRadius
[[BR]]2 valRadius !ExpressReal  
[[BR]]3 hasScale Scale

Axiom:

{{{
GeometryRadius(x1, x2, x3) <-> 
PossibleIndividual(x1) & 
ExpressReal(x2) & 
Scale(x3) & 
exists u1 
exists u2 
exists u3 
exists u4 
( 
ClassOfInanimatePhysicalObject(u1) &
Property(u2) &
PropertyQuantification(u3) &
RealNumber(u4) &
ClassOfIdentification(u1) &
Classification(ObjectWithRadius, x1) & 
Classification(SpaceLength, u2) &  
Classification(x3, u3) & 
Classification(ZeroToInfinity, u4) & 
ScaleTriple(X3, SpaceLength, ZeroToInfinity) & 
PropertyQuantificationTriple(u3, u2, u4) & 
ClassOfIdentification(u4, u2) 
) .
}}}