Version 1 (modified by onnopaap, 14 years ago) |
---|
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) .