hasFormalConstraint
P58313
predicate
Indicates that an entity is governed or restricted by an explicitly defined formal rule, condition, or limitation.
Observed surface forms (9)
- parameterConstraint ×3
- elementConstraint ×2
- hasFormulationCondition ×2
- hasMagnitudeConstraint ×2
- formatConstraint ×1
- genericConstraint ×1
- hasConstraintOnParameter ×1
- hasInequalityFormulation ×1
- isConstraintIn ×1
Sample triples (15)
| Subject | Object |
|---|---|
| terza rima | continuous interlocking rhyme across stanzas ⓘ |
| Hamiltonian (time translation generator) | generally covariant theories like canonical quantum gravity via predicate surface "isConstraintIn" ⓘ |
| complete class theorem in decision theory | regularity conditions on loss and risk functions via predicate surface "hasFormulationCondition" ⓘ |
| complete class theorem in decision theory | topological conditions on parameter and action spaces via predicate surface "hasFormulationCondition" ⓘ |
| de Bruijn–Newman constant | Λ ≥ 0 via predicate surface "hasInequalityFormulation" ⓘ |
| USPS state and territory abbreviation system | two uppercase letters via predicate surface "formatConstraint" ⓘ |
| Pareto distribution | α > 0 via predicate surface "parameterConstraint" ⓘ |
| Pareto distribution | x_m > 0 via predicate surface "parameterConstraint" ⓘ |
| ClosedRange | Bound : Comparable via predicate surface "genericConstraint" ⓘ |
| Mueller matrix | must preserve physical realizability of Stokes vectors via predicate surface "elementConstraint" ⓘ |
| Successive Under-Relaxation | 0 < omega < 1 via predicate surface "hasConstraintOnParameter" ⓘ |
| V_tb | |V_tb| ≈ 1 via predicate surface "hasMagnitudeConstraint" ⓘ |
| V_tb | |V_tb| > 0.97 via predicate surface "hasMagnitudeConstraint" ⓘ |
| Set (Swift) | Hashable via predicate surface "elementConstraint" ⓘ |
| Marchenko–Pastur law | λ > 0 via predicate surface "parameterConstraint" ⓘ |