definesConditionsFor
P56247
predicate
Indicates that one entity specifies or establishes the rules, requirements, or circumstances under which another entity is valid, applicable, or operates.
All labels observed (16)
| Label | Occurrences |
|---|---|
| givesConditionOn | 13 |
| imposesCondition | 13 |
| appliesToConditions | 9 |
| definesConditionsFor canonical | 9 |
| givesCondition | 3 |
| parameterCondition | 3 |
| setsConditionsForProject | 3 |
| assumesConditionOn | 2 |
| conditionOnTerms | 2 |
| existenceConditionDirectedGraph | 2 |
| givesConditionForPotion | 2 |
| conditionImposedOnStates | 1 |
| namingCondition | 1 |
| setsConditionOn | 1 |
| setsConditionsOn | 1 |
| variationCondition | 1 |
Description generation (PDg)
The one-sentence description above was generated by prompting gpt-5.1 with the predicate name and this instruction.
Instruction
Given a predicate that represents a relationship or action between entities, generate a one-sentence description explaining its meaning. # Instructions Focus on describing the relationship, not the entities themselves. # Response Format Begin the description with \' Indicates...\'
Input
Predicate: definesConditionsFor
Generated description
Indicates that one entity specifies or establishes the rules, requirements, or circumstances under which another entity is valid, applicable, or operates.
Sample triples (66)
| Subject | Object |
|---|---|
| May–Wigner stability theorem | S·C·σ < 1 for all eigenvalues to have negative real part in a common variant via predicate surface "givesCondition" ⓘ |
| Chevalley–Warning theorem | degrees of polynomials via predicate surface "givesConditionOn" ⓘ |
| Chevalley–Warning theorem | number of variables via predicate surface "givesConditionOn" ⓘ |
| Morrill Act of 1890 | no racial discrimination in admissions or provision of separate institutions for Black students via predicate surface "conditionImposedOnStates" ⓘ |
| Legendre's three-square theorem | n is a sum of three squares if and only if n is not of the form 4^a(8b+7) via predicate surface "givesCondition" ⓘ |
| Sturm–Liouville problem | p(x) > 0 on (a,b) via predicate surface "assumesConditionOn" ⓘ |
| Sturm–Liouville problem | w(x) > 0 on (a,b) via predicate surface "assumesConditionOn" ⓘ |
| Indirect Tax Clause of the United States Constitution | uniformity requirement for indirect taxes via predicate surface "imposesCondition" ⓘ |
| Brown representability theorem | set-valued functors on homotopy categories via predicate surface "givesConditionOn" ⓘ |
| Brown representability theorem | abelian-group-valued functors on homotopy categories via predicate surface "givesConditionOn" ⓘ |
| Paley–Wiener theorem | exponential type of entire functions via predicate surface "givesConditionOn" ⓘ |
| Paley–Wiener theorem | growth of entire functions along imaginary axis via predicate surface "givesConditionOn" ⓘ |
| Paley–Wiener theorem | support of original function in real domain via predicate surface "givesConditionOn" ⓘ |
| Dirichlet theorem on Fourier series | piecewise monotone functions via predicate surface "givesConditionOn" ⓘ |
| Dirichlet theorem on Fourier series | piecewise continuously differentiable functions via predicate surface "givesConditionOn" ⓘ |
| Dirichlet theorem on Fourier series | piecewise smooth functions via predicate surface "givesConditionOn" ⓘ |