conditionForNorm
P19413
predicate
Indicates that a certain condition or set of conditions must hold for a particular norm, rule, or obligation to be applicable or in force.
All labels observed (6)
| Label | Occurrences |
|---|---|
| normalizationCondition | 13 |
| conditionForNorm canonical | 6 |
| conditionForLimitation | 4 |
| conditionForBreach | 1 |
| hasNormalizationCondition | 1 |
| regularityCondition | 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: conditionForNorm
Generated description
Indicates that a certain condition or set of conditions must hold for a particular norm, rule, or obligation to be applicable or in force.
Sample triples (26)
| Subject | Object |
|---|---|
| Minkowski functional | set is convex ⓘ |
| Minkowski functional | set is balanced ⓘ |
| Minkowski functional | set is absorbing ⓘ |
| Minkowski functional | set is bounded ⓘ |
| Minkowski functional | set is closed ⓘ |
| Minkowski functional | set is symmetric about the origin ⓘ |
| Conway polynomial | ∇(unknot) = 1 via predicate surface "normalizationCondition" ⓘ |
| Riemann mapping theorem | map sends a chosen point to 0 in the unit disk via predicate surface "normalizationCondition" ⓘ |
| Riemann mapping theorem | derivative at the chosen point is real and positive via predicate surface "normalizationCondition" ⓘ |
| Boltzmann distribution | sum over all states of P(E_i) = 1 via predicate surface "normalizationCondition" ⓘ |
| Section 1 (Guarantee of rights and freedoms subject to reasonable limits) | limits must be prescribed by law via predicate surface "conditionForLimitation" ⓘ |
| Section 1 (Guarantee of rights and freedoms subject to reasonable limits) | limits must be reasonable via predicate surface "conditionForLimitation" ⓘ |
| Section 1 (Guarantee of rights and freedoms subject to reasonable limits) | limits must be demonstrably justified via predicate surface "conditionForLimitation" ⓘ |
| Section 1 (Guarantee of rights and freedoms subject to reasonable limits) | limits must be justified in a free and democratic society via predicate surface "conditionForLimitation" ⓘ |
| Whitney stratification |
Whitney stratification
via predicate surface "regularityCondition"
self-linksurface differs
ⓘ
surface form:
Whitney conditions
|
| Article III:4 | less favorable treatment of imported products via predicate surface "conditionForBreach" ⓘ |
| Wigner surmise | ∫₀^∞ P(s) ds = 1 via predicate surface "normalizationCondition" ⓘ |
| Jones polynomial | value on the unknot equals 1 via predicate surface "normalizationCondition" ⓘ |
| HOMFLY-PT polynomial | value 1 on the unknot via predicate surface "normalizationCondition" ⓘ |
| Schwarz lemma | f(0) = 0 via predicate surface "normalizationCondition" ⓘ |
| Poisson kernel | ∫_{∂D} P(x,ξ) dσ(ξ) = 1 for each interior point x via predicate surface "normalizationCondition" ⓘ |
| Bochner theorem on characteristic functions | value at zero equals 1 via predicate surface "normalizationCondition" ⓘ |
| Outer space (Culler–Vogtmann Outer space) | sum of edge lengths equals 1 via predicate surface "hasNormalizationCondition" ⓘ |
| Culler–Vogtmann Outer space | total volume of each graph is 1 via predicate surface "normalizationCondition" ⓘ |
| distortion theorem | f(0)=0 via predicate surface "normalizationCondition" ⓘ |
| distortion theorem | f'(0)=1 via predicate surface "normalizationCondition" ⓘ |