Version 13 (modified by onnopaap, 11 years ago)

--

Core Template GeometryRadius


This template is for expressing the radius and scale on an ObjectWithRadius which is a PossibleIndividual.

1 hasObject PossibleIndividual
2 hasScale Scale
3 valValue ExpressReal

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

Home
About PCA
Reference Data Services (RDS)
RDS Operations Support
Meetings and Conferences
ISO 15926
Special Interest Groups
Technical Advisory Board
Norwegian Continental Shelf Std
Projects
Search