existsIf
P67472
predicate
Indicates that the existence or validity of one entity or condition depends on the presence or truth of another specified condition.
Observed surface forms (10)
- existIf ×2
- meanExistsIf ×2
- existenceCriterion ×1
- existsWhen ×1
- hasConditionForExistence ×1
- inverseExistenceCondition ×1
- meanExistsCondition ×1
- nonEmptyIf ×1
- requiresForExistence ×1
- varianceExistsIf ×1
Sample triples (15)
| Subject | Object |
|---|---|
| Calabi–Yau metric | manifold is compact Kähler with vanishing first Chern class ⓘ |
| Dirichlet convolution | every arithmetic function with f(1) ≠ 0 has a Dirichlet inverse via predicate surface "inverseExistenceCondition" ⓘ |
| GF(p^m) | p is prime and m is positive integer ⓘ |
| Kähler cone | manifold is Kähler via predicate surface "nonEmptyIf" ⓘ |
| Kähler form | manifold is Kähler ⓘ |
| Lévy alpha-stable distribution | mean exists only if α > 1 via predicate surface "meanExistsCondition" ⓘ |
| Monge problem in optimal transport | absolute continuity of source measure for quadratic cost via predicate surface "hasConditionForExistence" ⓘ |
| Nevanlinna–Pick interpolation | positivity of the Pick matrix via predicate surface "existenceCriterion" ⓘ |
| Pareto distribution | α > 1 via predicate surface "meanExistsIf" ⓘ |
| Pareto distribution | α > 2 via predicate surface "varianceExistsIf" ⓘ |
| Pseudonode | A DR or DIS is elected on the segment via predicate surface "existsWhen" ⓘ |
| Stoneley waves | impedance contrast conditions are satisfied via predicate surface "existIf" ⓘ |
| Stoneley waves | specific boundary conditions at the interface are met via predicate surface "existIf" ⓘ |
| Walking a Line in Peru | specific geographic site via predicate surface "requiresForExistence" ⓘ |
| Wishart distribution | n > p - 1 via predicate surface "meanExistsIf" ⓘ |