Base Template PropertyRangeRestrictionOfClass
PropertyRangeRestrictionOfClass is a template for stating about a class of individuals that the magnitude of a property is restricted to a range of values. PropertyRangeRestrictionOfClass(a, b, c) means that a is a class, b is a property relation, and c is a range of properties, and that every b property assignment to an a belongs to a subrelation of b for which the range is restricted to c.
Roles:
1 hasClass ClassOfIndividual
2 hasProperty ClassOfIndirectProperty
3 hasRange PropertyRange
Axiom:
PropertyRangeRestrictionOfClass(x1, x2, x3) <-> ClassOfIndividual(x1) & ClassOfIndirectProperty(x2) & PropertyRange(x3) & exists u(ClassOfIndirectPropertyTriple(u, x1, x3) & SpecializationAsEnd2UniversalRestriction(u, x2)) .