failsWhen
P8788
predicate
Indicates that a particular action, process, or condition does not succeed under the specified circumstances or triggers.
All labels observed (13)
| Label | Occurrences |
|---|---|
| failsWhen canonical | 21 |
| failureCondition | 18 |
| failsFor | 12 |
| failsAt | 9 |
| mayFailWhen | 6 |
| failsIn | 5 |
| canFailWhen | 4 |
| falseWhen | 3 |
| throwsOn | 3 |
| failsInDimension | 1 |
| failsToIntegrate | 1 |
| failsWithout | 1 |
| mayFailIn | 1 |
Sample triples (85)
| Subject | Object |
|---|---|
| Rayleigh–Schrödinger perturbation theory | perturbation is not small ⓘ |
| Rayleigh–Schrödinger perturbation theory | energy levels are nearly degenerate without proper treatment ⓘ |
| black hole no-hair theorem | theories with additional long-range fields via predicate surface "mayFailIn" ⓘ |
| Rayleigh–Jeans law at low frequencies | high frequencies via predicate surface "failsAt" ⓘ |
| Rayleigh–Jeans law at low frequencies | short wavelengths via predicate surface "failsAt" ⓘ |
| Riemann integral | some bounded functions with dense discontinuities via predicate surface "failsToIntegrate" ⓘ |
| Euler’s polyhedron formula | certain non-convex polyhedra with holes via predicate surface "failsFor" ⓘ |
| ideal gas law | near condensation ⓘ |
| ideal gas law | at very high pressure ⓘ |
| ideal gas law | at very low temperature ⓘ |
| Fourier's law of heat conduction | at very low temperatures via predicate surface "mayFailWhen" ⓘ |
| Fourier's law of heat conduction | in nanoscale systems via predicate surface "mayFailWhen" ⓘ |
| Fourier's law of heat conduction | for ballistic heat transport via predicate surface "mayFailWhen" ⓘ |
|
Born approximation in scattering theory
surface form:
Born approximation
|
potential is strong ⓘ |
|
Born approximation in scattering theory
surface form:
Born approximation
|
low-energy scattering from long-range potentials ⓘ |
|
Born approximation in scattering theory
surface form:
Born approximation
|
near bound-state or resonance energies ⓘ |
| Strepsiades | learning advanced argumentation via predicate surface "failsAt" ⓘ |
| Honeycomb (Dalgona) challenge | breaking the candy shape via predicate surface "failureCondition" ⓘ |
| Glass Stepping Stones | falling through a fragile glass panel via predicate surface "failureCondition" ⓘ |
| Hooke's law | material yields ⓘ |
| Hooke's law | material undergoes plastic deformation ⓘ |
| Hooke's law | deformations are large ⓘ |
| Pythagorean theorem | general non-Euclidean geometries via predicate surface "failsIn" ⓘ |
| Fermat's little theorem | composite moduli in general via predicate surface "failsFor" ⓘ |
| WebAssembly.compileStreaming | non-OK HTTP status codes in some implementations via predicate surface "throwsOn" ⓘ |
| WebAssembly.compileStreaming | invalid WebAssembly binary format via predicate surface "throwsOn" ⓘ |
| WebAssembly.compileStreaming | network errors via predicate surface "throwsOn" ⓘ |
| Poincaré lemma | domains with nontrivial topology via predicate surface "failsIn" ⓘ |
| Poincaré duality | orientability via predicate surface "failsWithout" ⓘ |
| Galilean transformations | relative velocities approach speed of light ⓘ |
| Hasse principle | some cubic curves via predicate surface "failsFor" ⓘ |
| Hasse principle | some higher-degree Diophantine equations via predicate surface "failsFor" ⓘ |
| Hasse principle | some curves of genus at least 1 via predicate surface "failsFor" ⓘ |
| Halley’s method for solving equations | initial guess is far from any root via predicate surface "canFailWhen" ⓘ |
| Halley’s method for solving equations | derivatives are poorly conditioned or expensive to compute via predicate surface "canFailWhen" ⓘ |
| Cauchy–Riemann equations | complex conjugation map z ↦ z̄ via predicate surface "failsFor" ⓘ |
| Cauchy–Riemann equations | absolute value map z ↦ |z| via predicate surface "failsFor" ⓘ |
| Cauchy convergence criterion | incomplete metric spaces via predicate surface "failsIn" ⓘ |
| h-cobordism theorem | dimension 3 via predicate surface "failsInDimension" ⓘ |
| detailed balance principle | system is driven far from equilibrium via predicate surface "mayFailWhen" ⓘ |
| detailed balance principle | time-reversal symmetry is broken via predicate surface "mayFailWhen" ⓘ |
| detailed balance principle | in presence of external fields driving steady currents via predicate surface "mayFailWhen" ⓘ |
| Dulong–Petit law for molar heat capacity of many solids at high temperature | low temperatures via predicate surface "failsAt" ⓘ |
| Born expansion of Green’s function | strong coupling via predicate surface "canFailWhen" ⓘ |
| Born expansion of Green’s function | presence of bound states near threshold via predicate surface "canFailWhen" ⓘ |
| Tychonoff theorem for products of compact spaces | box topology on infinite products of compact spaces via predicate surface "failsFor" ⓘ |
| Closed Graph Theorem | general normed spaces that are not complete via predicate surface "failsIn" ⓘ |
| ST_Within | any point of g1 lies in the exterior of g2 via predicate surface "falseWhen" ⓘ |
| ST_Within | geometries are disjoint via predicate surface "falseWhen" ⓘ |
| ST_Within | geometries only touch at boundary without interior inclusion via predicate surface "falseWhen" ⓘ |