Base Template DimensionUnitNumberRangeOfScale

DimensionUnitNumberRangeOfScale is a template for stating which dimension, number range and symbol applies to a scale.
DimensionUnitNumberRangeOfScale(a, b, c, d) means that a is a scale, b is a string, c is a property dimension, and d is a number range, that b is a unit of measure symbol for the scale and that c is the dimension and d the number range of the scale.

Roles:
1 hasScale Scale
2 hasSymbol ClassOfIdentification
3 hasDimension SinglePropertyDimension
4 hasNumberRange NumberRange

Axiom:

DimensionUnitNumberRangeOfScale(x1, x2, x3, x4) <-> 
Scale(x1) & 
ExpressString(x2) & 
SinglePropertyDimension(x3) & 
NumberRange(x4) & 
SymbolOfScale(x1, x2) & 
ScaleTriple(x1, x4, x3) .