| 1 | === Base Template !PropertyRangeMagnitudeRestrictionOfClass === |
| 2 | |
| 3 | [[br]]!PropertyRangeMagnitudeRestrictionOfClass is a template for stating which range of values of a property can apply to a class of individuals. |
| 4 | [[br]]!PropertyRangeMagnitudeRestrictionOfClass(a, b, c, d, e) means that a is a class of individuals, b is a property relation, c is a scale, and d and e are real numbers, and that every b property of an a has a value in the d to e range, measured on the c scale. |
| 5 | [[br]] |
| 6 | [[br]]Roles: |
| 7 | [[br]]1 hasClass !ClassOfIndividual |
| 8 | [[br]]2 hasRestrictedProperty !ClassOfIndirectProperty |
| 9 | [[br]]3 hasScale Scale |
| 10 | [[br]]4 valUpperBound !ExpressReal |
| 11 | [[br]]5 valLowerBound !ExpressReal |
| 12 | |
| 13 | Axiom: |
| 14 | {{{ |
| 15 | PropertyRangeMagnitudeRestrictionOfClass(x1, x2, x3, x4, x5) <-> |
| 16 | ClassOfIndividual(x1)& |
| 17 | ClassOfIndirectProperty(x2)& |
| 18 | Scale(x3)& |
| 19 | ExpressReal(x4)& |
| 20 | ExpressReal(x5)& |
| 21 | exists u(PropertyRangeRestrictionOfClass(x1, x2, u)& |
| 22 | exists y1 exists y2(IdentificationByNumber(x4, y1)& |
| 23 | IdentificationByNumber(x5, y2)& |
| 24 | LowerUpperMagnitudeOfPropertyRange(u, x3, y1, y2))) . |
| 25 | }}} |