regularityAssumption
P90303
predicate
Indicates that a relationship or process is assumed to behave in a consistent, well-behaved manner (e.g., continuity, smoothness, or stability) so that certain analyses or inferences are valid.
All labels observed (4)
| Label | Occurrences |
|---|---|
| requiresConditionForRegularity | 5 |
| regularityAssumption canonical | 1 |
| requiresFunctionSmoothness | 1 |
| smoothnessRequirement | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: regularityAssumption
Generated description
Indicates that a relationship or process is assumed to behave in a consistent, well-behaved manner (e.g., continuity, smoothness, or stability) so that certain analyses or inferences are valid.
Sample triples (8)
| Subject | Object |
|---|---|
| Cauchy–Riemann equations | continuity of first partial derivatives ⓘ |
| Simpson's rule | f has continuous fourth derivative on [a,b] for standard error bound via predicate surface "requiresFunctionSmoothness" ⓘ |
| Cauchy functional equation | continuity at one point via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | boundedness on an interval via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | measurability via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | local boundedness via predicate surface "requiresConditionForRegularity" ⓘ |
| Cauchy functional equation | monotonicity via predicate surface "requiresConditionForRegularity" ⓘ |
| shape operator | defined for sufficiently smooth (at least C^2) hypersurfaces via predicate surface "smoothnessRequirement" ⓘ |