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

Home
About PCA
Reference Data Services
Projects
Workgroups