| | 1 | === Base Template !PropertyRangeRestrictionOfClass === |
| | 2 | |
| | 3 | [[br]]!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. |
| | 4 | [[br]] |
| | 5 | [[br]]Roles: |
| | 6 | [[br]]1 hasClass !ClassOfIndividual |
| | 7 | [[br]]2 hasProperty !ClassOfIndirectProperty |
| | 8 | [[br]]3 hasRange !PropertyRange |
| | 9 | |
| | 10 | Axiom: |
| | 11 | {{{ |
| | 12 | PropertyRangeRestrictionOfClass(x1, x2, x3) <-> |
| | 13 | ClassOfIndividual(x1) & |
| | 14 | ClassOfIndirectProperty(x2) & |
| | 15 | PropertyRange(x3) & |
| | 16 | exists u(ClassOfIndirectPropertyTriple(u, x1, x3) & |
| | 17 | SpecializationAsEnd2UniversalRestriction(u, x2)) . |
| | 18 | }}} |
