Version 11 (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
Example instantiation:
Axiom:
GeometryRadius(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressReal(x2) & Scale(x3) & exists u1 exists u2 exists u3 exists u4 exists u5 exists u6 ( IndividualDimension(u1) & Property(u2) & PropertyQuantification(u3) & RealNumber(u4) & Classification(Circle, x1) & Classification(Radius, u1) & Classification(GeometryLength, u2) & Classification(X3, u3) & Classification(ZeroToInfinity, u4) & DimensionOfIndividual(x1, u1) & SpecializationOfIndividualDimensionFromPropertyTriple(u5, u1, u2) & ScaleTriple(X3, GeometryLength, ZeroToInfinity) & PropertyQuantificationTriple(u3, u2, u4) & ClassOfIdentificationTriple(u6, u4, x2) ) .
Attachments
- GeometryRadius.doc (60.0 kB) - added by onnopaap 14 years ago.
- GeometryRadius.png (20.0 kB) - added by onnopaap 14 years ago.