=== 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) 
)))) .
}}}

{{{
#!LatexEquation
\xygraph{!{0;(2.0,0):(0,0)}
{\emph{Data (DL)}} (  [rrr] {\emph{Templates (FOL)}}) 
(
[d(.5)]
*++[F=]\txt{Data Model\\(Part 2 TBox)}
  (  :@{->}_*\txt{Predicates of} [rrr] 
  *++[F-:<3pt>]{\txt{Part 2 templates}}="basetemp"
  )
:|{\txt{Add instances}} [d]
*++[F=]\txt{Reference Data\\(RDL ABox)}="part4"
  (
  :@<-1ex>_*\txt{Use in constraints} [rrr] 
    *++[F-:<3pt>]{\txt{RDL templates}}="coretemp"
  :@<-1ex>_{\txt{Use to build}} "part4"
  "basetemp" :|*+\txt{Use to build} "part4" 
  "basetemp" :|{\txt{Add constraints}} "coretemp"
  )
:|{\txt{Add instances}}[d]
*++[F=]\txt{Project Data\\(ABox)}="projectdata"
  (
  :@<-1ex>_*\txt{Use in constraints} [rrr] 
    *++[F-:<3pt>]{\txt{Project templates}}="projecttemp"
  :@<-1ex>_{\txt{Use to build}} "projectdata"
  "coretemp" :|*+\txt{Use to build} "projectdata" 
  "coretemp" :|{\txt{Add constraints}} "projecttemp"
  )
)
}
}}}