coreCondition
P19924
predicate
Indicates that something serves as the primary or fundamental condition that must hold for a situation, process, or relationship to apply.
All labels observed (16)
| Label | Occurrences |
|---|---|
| domainCondition | 43 |
| conditionFor | 30 |
| coreRequirement | 28 |
| equivalentCondition | 24 |
| givesConditionFor | 14 |
| coreCondition canonical | 12 |
| equilibriumCondition | 10 |
| definitionCondition | 8 |
| stabilityCondition | 5 |
| coreCriterion | 4 |
| definingCondition | 3 |
| requiresConditionOn | 3 |
| theoreticalCondition | 3 |
| الشرط_الأساسي | 2 |
| matrixCondition | 1 |
| unitCondition | 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: coreCondition
Generated description
Indicates that something serves as the primary or fundamental condition that must hold for a situation, process, or relationship to apply.
Sample triples (191)
| Subject | Object |
|---|---|
| Client-Centered Therapy | empathy ⓘ |
| Client-Centered Therapy | unconditional positive regard ⓘ |
| Client-Centered Therapy | congruence in the therapist ⓘ |
| Treaty of Turin (1860) | French support for Italian unification via predicate surface "conditionFor" ⓘ |
| Brouwer fixed-point theorem | compact set via predicate surface "domainCondition" ⓘ |
| Brouwer fixed-point theorem | convex set via predicate surface "domainCondition" ⓘ |
| Brouwer fixed-point theorem | subset of Euclidean space via predicate surface "domainCondition" ⓘ |
| inverse function theorem | existence of a local inverse via predicate surface "givesConditionFor" ⓘ |
| inverse function theorem | differentiability of a local inverse via predicate surface "givesConditionFor" ⓘ |
| local existence and uniqueness theorem | continuity of f in a neighborhood of (t0,y0) via predicate surface "requiresConditionOn" ⓘ |
| local existence and uniqueness theorem | Lipschitz continuity of f in y via predicate surface "requiresConditionOn" ⓘ |
| local existence and uniqueness theorem | local Lipschitz condition in y via predicate surface "requiresConditionOn" ⓘ |
| Q-balls | energy per unit charge less than mass of corresponding free particle via predicate surface "stabilityCondition" ⓘ |
| Q-balls | existence of suitable scalar potential with attractive self-interactions via predicate surface "stabilityCondition" ⓘ |
| Kähler manifold | Kähler form is d-closed via predicate surface "definitionCondition" ⓘ |
| Kähler manifold | ∇J = 0 for Levi-Civita connection ∇ via predicate surface "definitionCondition" ⓘ |
| Kähler manifold | J is orthogonal with respect to the Riemannian metric via predicate surface "definitionCondition" ⓘ |
| Article 4 (consultations) | requesting establishment of a panel under the DSU via predicate surface "conditionFor" ⓘ |
| NHL trade deadline | player playoff eligibility with a new team via predicate surface "conditionFor" ⓘ |
| Gauss–Seidel method | convergence depends on spectral radius of iteration matrix via predicate surface "matrixCondition" ⓘ |
| Noetherian module | every increasing sequence of submodules becomes stationary via predicate surface "equivalentCondition" ⓘ |
| Noetherian module | every submodule is the sum of finitely many cyclic submodules via predicate surface "equivalentCondition" ⓘ |
| Noetherian module | every nonempty family of submodules has a maximal element under inclusion via predicate surface "equivalentCondition" ⓘ |
| Title VI of the Civil Rights Act of 1964 | no person shall be excluded from participation in federally assisted programs on prohibited grounds via predicate surface "coreRequirement" ⓘ |
| Title VI of the Civil Rights Act of 1964 | no person shall be denied the benefits of federally assisted programs on prohibited grounds via predicate surface "coreRequirement" ⓘ |
| Title VI of the Civil Rights Act of 1964 | no person shall be subjected to discrimination under federally assisted programs on prohibited grounds via predicate surface "coreRequirement" ⓘ |
|
Drug-Free Schools and Communities Act amendments
surface form:
Drug-Free Schools and Communities Act Amendments
|
eligibility for certain federal education funds via predicate surface "conditionFor" ⓘ |
| European Union state aid rules | use of state resources via predicate surface "coreCriterion" ⓘ |
| European Union state aid rules | selective economic advantage via predicate surface "coreCriterion" ⓘ |
| European Union state aid rules | effect on trade between Member States via predicate surface "coreCriterion" ⓘ |
| European Union state aid rules | distortion or threat of distortion of competition via predicate surface "coreCriterion" ⓘ |
| Riemann mapping theorem | non-empty open subset of the complex plane via predicate surface "domainCondition" ⓘ |
| Riemann mapping theorem | simply connected subset of the complex plane via predicate surface "domainCondition" ⓘ |
| Riemann mapping theorem | subset of the complex plane not equal to the whole complex plane via predicate surface "domainCondition" ⓘ |
| IS-LM model | intersection of IS and LM curves via predicate surface "equilibriumCondition" ⓘ |
|
new entrant safety assurance program
surface form:
New Entrant Safety Assurance Program
|
granting permanent operating authority via predicate surface "conditionFor" ⓘ |
| Whitney approximation theorem | source is a smooth manifold via predicate surface "domainCondition" ⓘ |
| Oaths Clause | holding federal office via predicate surface "conditionFor" ⓘ |
| Oaths Clause | holding state office under the United States Constitution via predicate surface "conditionFor" ⓘ |
| 1994 Agreement relating to the Implementation of Part XI of the United Nations Convention on the Law of the Sea | ratification of UNCLOS by several industrialized states via predicate surface "conditionFor" ⓘ |
| Lebesgue spaces | |f|^p is integrable via predicate surface "definingCondition" ⓘ |
| Lebesgue spaces | ∫ |f|^p dμ < ∞ for 1 ≤ p < ∞ via predicate surface "definingCondition" ⓘ |
| Lebesgue spaces | f is essentially bounded for p = ∞ via predicate surface "definingCondition" ⓘ |
| Grothendieck universe | U is a Grothendieck universe iff U = V_κ for some strongly inaccessible κ (in ZFC + inaccessibles) via predicate surface "equivalentCondition" ⓘ |
| Weierstrass approximation theorem | function is continuous via predicate surface "domainCondition" ⓘ |
| Weierstrass approximation theorem | domain is a closed interval [a,b] in R via predicate surface "domainCondition" ⓘ |
| Weierstrass substitution | t = tan(x/2) is defined where cos(x/2) ≠ 0 via predicate surface "domainCondition" ⓘ |
| Schauder fixed-point theorem | nonempty subset of a Banach space via predicate surface "domainCondition" ⓘ |
| Schauder fixed-point theorem | closed subset via predicate surface "domainCondition" ⓘ |
| Schauder fixed-point theorem | bounded subset via predicate surface "domainCondition" ⓘ |