Version 4 (modified by onnopaap, 14 years ago) |
---|
Core Template GeometryRadius
This template is for expressing the radius and scale on an ObjectWithRadius which is a PossibleIndividual.
1 hasObjectWithRadius PossibleIndividual
2 valRadius ExpressReal
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) )))) .
Attachments
- GeometryRadius.doc (60.0 kB) - added by onnopaap 14 years ago.
- GeometryRadius.png (20.0 kB) - added by onnopaap 14 years ago.