holdsUnderCondition
P61769
predicate
Indicates that one fact, rule, or relationship remains valid only when a specified condition or set of conditions is satisfied.
Observed surface forms (21)
- isConditionedBy ×7
- holdsIf ×5
- conditionForRight ×4
- usedUnderCondition ×4
- assumesCondition ×3
- conditionOnExponent ×3
- convergesUnderCondition ×3
- convergesUnderConditions ×3
- conditionOnPair ×2
- holdsUnderAssumption ×2
- occursUnderCondition ×2
- conditionOnSet ×1
- conditionOnq ×1
- existenceCondition ×1
- governsUnderCondition ×1
- heldConditionally ×1
- refusesReleaseIfConditionNotMet ×1
- truthCondition ×1
- usedUnderConditions ×1
- usesCondition ×1
- услов ×1
Sample triples (49)
| Subject | Object |
|---|---|
| Article IV of the NPT | compliance with non-proliferation obligations via predicate surface "conditionForRight" ⓘ |
|
Bernoulli differential equations
surface form:
Bernoulli differential equation
|
n ≠ 0 via predicate surface "conditionOnExponent" ⓘ |
|
Bernoulli differential equations
surface form:
Bernoulli differential equation
|
n ≠ 1 via predicate surface "conditionOnExponent" ⓘ |
| Canadian Shift | low-back vowel merger via predicate surface "isConditionedBy" ⓘ |
| Carathéodory’s extension theorem | pre-measure is σ-finite (for uniqueness on generated σ-algebra in some formulations) ⓘ |
| Chevalley’s theorem in algebraic geometry | schemes are Noetherian in many standard formulations via predicate surface "holdsUnderAssumption" ⓘ |
| Chevalley’s theorem in algebraic geometry | source scheme is of finite type over the target scheme via predicate surface "holdsUnderAssumption" ⓘ |
| Dar al-Ahd (in some juristic usages) | classical doctrines of pacta sunt servanda in Islamic law via predicate surface "isConditionedBy" ⓘ |
| Earth's ruling elite in "Pebble in the Sky" | planet-wide radioactivity via predicate surface "governsUnderCondition" ⓘ |
| Eddie Aikau Big Wave Invitational | yes via predicate surface "heldConditionally" ⓘ |
| Etherington reciprocity theorem | light propagation is reversible via predicate surface "holdsIf" ⓘ |
| Etherington reciprocity theorem | spacetime is described by a metric theory via predicate surface "holdsIf" ⓘ |
| Fermat point | unique for any nondegenerate triangle via predicate surface "existenceCondition" ⓘ |
| Fermat's Last Theorem | n is an integer greater than 2 via predicate surface "conditionOnExponent" ⓘ |
| Fourier series | Dirichlet conditions via predicate surface "convergesUnderCondition" NERFINISHED ⓘ |
| Fundamental Theorem of Calculus | integrand is typically continuous on a closed interval via predicate surface "assumesCondition" ⓘ |
| Gibbs free energy | constant temperature and pressure via predicate surface "usedUnderConditions" ⓘ |
|
Hel (goddess)
surface form:
Hel
|
Baldr via predicate surface "refusesReleaseIfConditionNotMet" ⓘ |
| Jacobi manifold | [E,Λ] = 0 (Schouten–Nijenhuis bracket) via predicate surface "conditionOnPair" ⓘ |
| Jacobi manifold | [Λ,Λ] = 2E ∧ Λ (Schouten–Nijenhuis bracket) via predicate surface "conditionOnPair" ⓘ |
| Jacobi triple product | |q| < 1 via predicate surface "conditionOnq" ⓘ |
| King-in-Court | constitutional limitations on the monarch via predicate surface "isConditionedBy" ⓘ |
| King-in-Court | judicial procedures via predicate surface "isConditionedBy" ⓘ |
| Latimer oxidation-potential diagrams | aqueous solution via predicate surface "assumesCondition" ⓘ |
| Latimer oxidation-potential diagrams | standard conditions via predicate surface "assumesCondition" ⓘ |
| Lindeberg–Feller central limit theorem |
Lindeberg–Feller central limit theorem
via predicate surface "usesCondition"
self-linksurface differs
ⓘ
surface form:
Lindeberg condition
|
| Lyapunov equation | system matrix A has eigenvalues inside the unit circle in discrete time via predicate surface "holdsIf" ⓘ |
| Lyapunov equation | system matrix A has eigenvalues with negative real parts in continuous time via predicate surface "holdsIf" ⓘ |
| Nevada water law doctrine of prior appropriation | application to appropriate water via predicate surface "conditionForRight" ⓘ |
| Nevada water law doctrine of prior appropriation | permit issued by Nevada State Engineer via predicate surface "conditionForRight" ⓘ |
| Nevada water law doctrine of prior appropriation | proof of beneficial use via predicate surface "conditionForRight" ⓘ |
| Picard iteration | Lipschitz condition on the function f(t,y) via predicate surface "convergesUnderCondition" ⓘ |
| Picard iteration | sufficiently small time interval via predicate surface "convergesUnderCondition" ⓘ |
| Poincaré recurrence theorem | set A must have positive measure via predicate surface "conditionOnSet" ⓘ |
| Q-learning | Markov decision process via predicate surface "convergesUnderConditions" ⓘ |
| Q-learning | decaying learning rate via predicate surface "convergesUnderConditions" ⓘ |
| Q-learning | sufficient exploration via predicate surface "convergesUnderConditions" ⓘ |
| Rabi oscillation | coherent evolution via predicate surface "occursUnderCondition" ⓘ |
| Rabi oscillation | near-resonant driving via predicate surface "occursUnderCondition" ⓘ |
| Ramsey test for conditionals | a conditional is acceptable if, upon supposing the antecedent, one would accept the consequent via predicate surface "truthCondition" ⓘ |
| Runway 10/28 | various traffic conditions via predicate surface "usedUnderCondition" ⓘ |
| Runway 10/28 | various wind conditions via predicate surface "usedUnderCondition" ⓘ |
| Runway 15L/33R | various traffic conditions via predicate surface "usedUnderCondition" ⓘ |
| Runway 15L/33R | various wind conditions via predicate surface "usedUnderCondition" ⓘ |
| Ward–Takahashi identities | symmetry is not anomalous via predicate surface "holdsIf" ⓘ |
| duty to dissent | availability of channels to express disagreement via predicate surface "isConditionedBy" ⓘ |
| duty to dissent | contextual risk to the dissenter via predicate surface "isConditionedBy" ⓘ |
| duty to dissent | severity of the perceived injustice via predicate surface "isConditionedBy" ⓘ |
| Председник Владе Србије | мора имати подршку већине народних посланика via predicate surface "услов" ⓘ |