=== Core Template !GeometryRadius ===

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

Axiom: 
{{{
GeometryRadius(x1, x2, x3) <-> 
ObjectWithRadius(x1) & 
ExpressReal(x2) & 
Scale(x3) & 
exists u1 ( 
Property(u1) & 
Classification(MetricSpaceLength, u1) & 
exists u2( exists u3( 
RealNumber(u3) & 
PropertyQuantificationTriple(u2, u1, u3) & 
Classification(x3, u2) & 
exists u4(ClassofIdentification(u3, x2) 
)))) .
}}}