sufficientConditionFor
P94877
predicate
Indicates that the truth or occurrence of one entity guarantees or ensures the truth or occurrence of another entity.
Observed surface forms (5)
- sufficientCondition ×4
- areSufficientFor ×2
- sufficientConditionForExistence ×2
- isSufficientFor ×1
- satisfiableIf ×1
Sample triples (11)
| Subject | Object |
|---|---|
| Dirichlet conditions | pointwise convergence of Fourier series at most points via predicate surface "areSufficientFor" ⓘ |
|
Hamiltonian cycle concept
surface form:
Hamiltonian cycle
|
Bondy–Chvátal theorem via predicate surface "sufficientCondition" NERFINISHED ⓘ |
|
Hamiltonian cycle concept
surface form:
Hamiltonian cycle
|
Chvátal–Erdős theorem via predicate surface "sufficientCondition" NERFINISHED ⓘ |
|
Hamiltonian cycle concept
surface form:
Hamiltonian cycle
|
Dirac's theorem via predicate surface "sufficientCondition" NERFINISHED ⓘ |
|
Hamiltonian cycle concept
surface form:
Hamiltonian cycle
|
Ore's theorem via predicate surface "sufficientCondition" NERFINISHED ⓘ |
| KKT conditions | global optima in convex optimization problems via predicate surface "areSufficientFor" ⓘ |
| Riemann–Stieltjes integral | continuous integrand and integrator of bounded variation via predicate surface "sufficientConditionForExistence" ⓘ |
| Riemann–Stieltjes integral | integrand with only jump discontinuities and continuous integrator via predicate surface "sufficientConditionForExistence" ⓘ |
| SAT | there exists at least one assignment making the formula true via predicate surface "satisfiableIf" ⓘ |
| Slater’s condition | strong duality in convex programs via predicate surface "isSufficientFor" ⓘ |
| physical symbol system hypothesis | general intelligent action ⓘ |