Version 8 (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 ObjectWithRadius
2 valRadius ExpressReal
3 hasScale Scale
Axiom:
GeometryRadius(x1, x2, x3) <-> PossibleIndividual(x1) & ExpressReal(x2) & Scale(x3) & exists u1 exists u2 exists u3 exists u4 ( ClassOfInanimatePhysicalObject(u1) & Property(u2) & PropertyQuantification(u3) & RealNumber(u4) & ClassOfIdentification(u1) & Classification(ObjectWithRadius, x1) & Classification(SpaceLength, u2) & Classification(x3, u3) & Classification(ZeroToInfinity, u4) & ScaleTriple(X3, SpaceLength, ZeroToInfinity) & PropertyQuantificationTriple(u3, u2, u4) & ClassOfIdentification(u4, u2) ) .
Attachments
- GeometryRadius.doc (60.0 kB) - added by onnopaap 14 years ago.
- GeometryRadius.png (20.0 kB) - added by onnopaap 14 years ago.