Base Template LowerUpperOfPropertyRange


LowerUpperOfPropertyRange is a template for stating what the upper and lower bounds of a property range are.

LowerUpperOfPropertyRange(a, b, c) means that a is a property range and b and c are properties, and that b is the lower, c the upper bound of a.

Roles:
1 hasPropertyRange PropertyRange
2 hasLowerBound Property
3 hasUpperBound Property

Axiom:

LowerUpperOfPropertyRange(x1, x2, x3) <-> 
PropertyRange(x1) & 
Property(x2) & 
Property(x3) & 
LowerBoundOfPropertyRangeTemplate(x2, x1) & 
UpperBoundOfPropertyRangeTemplate(x3, x1) . 
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