Version 5 (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 exists u2 exists u3 ( Property(u1) & Classification(u1, x1) & Classification(MetricSpaceLength, u1) & RealNumber(u3) & PropertyQuantificationTriple(u2, u1, u3) & Classification(x3, u2) & 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.