problemStatement
P15680
predicate
Indicates that an entity presents, defines, or expresses a specific problem or issue to be addressed.
All labels observed (6)
| Label | Occurrences |
|---|---|
| openProblem | 25 |
| optimizationProblem | 4 |
| identifiesProblem | 3 |
| problemStatement canonical | 1 |
| typicalProblemForm | 1 |
| लक्षित_समस्या | 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: problemStatement
Generated description
Indicates that an entity presents, defines, or expresses a specific problem or issue to be addressed.
Sample triples (35)
| Subject | Object |
|---|---|
| liar paradox | If the liar sentence is true, then it is false; if it is false, then it is true. ⓘ |
| Ulam spiral | no complete theoretical explanation of all observed patterns is known via predicate surface "openProblem" ⓘ |
| KMeans | NP-hard in general via predicate surface "optimizationProblem" ⓘ |
| Picard iteration | y'(t) = f(t,y(t)), y(t0) = y0 via predicate surface "typicalProblemForm" ⓘ |
| Wheeler–DeWitt equation | mathematical well-definedness in full superspace via predicate surface "openProblem" ⓘ |
| Wheeler–DeWitt equation | physical interpretation of timeless wave function via predicate surface "openProblem" ⓘ |
| Wheeler–DeWitt equation | inner product and Hilbert space structure via predicate surface "openProblem" ⓘ |
| Fermat number | whether infinitely many Fermat primes exist via predicate surface "openProblem" ⓘ |
| Fermat number | whether infinitely many composite Fermat numbers exist via predicate surface "openProblem" ⓘ |
| Jones polynomial | whether the Jones polynomial detects the unknot via predicate surface "openProblem" ⓘ |
| loop quantum gravity | recovery of classical general relativity at large scales via predicate surface "openProblem" ⓘ |
| loop quantum gravity | derivation of low-energy particle physics spectrum via predicate surface "openProblem" ⓘ |
| loop quantum gravity | experimental tests of Planck-scale discreteness via predicate surface "openProblem" ⓘ |
| Hicksian demand | minimize expenditure subject to achieving a given utility level via predicate surface "optimizationProblem" ⓘ |
| Planck scale | lack of experimental access with current technology via predicate surface "openProblem" ⓘ |
| Planck scale | absence of complete empirically verified theory of quantum gravity via predicate surface "openProblem" ⓘ |
| de Bruijn–Newman constant | determine the exact value of Λ via predicate surface "openProblem" ⓘ |
| de Bruijn–Newman constant | prove or disprove Λ = 0 via predicate surface "openProblem" ⓘ |
| Yang–Mills theory | existence of a mass gap in 4D Yang–Mills theory via predicate surface "openProblem" ⓘ |
| Yang–Mills theory | rigorous construction in four spacetime dimensions via predicate surface "openProblem" ⓘ |
| Ramanujan tau function | infinitely many n with τ(n) = 0 is unknown via predicate surface "openProblem" ⓘ |
| Ramanujan tau function | sign changes of τ(n) are not fully understood via predicate surface "openProblem" ⓘ |
| Erdős–Szekeres theorem | exact determination of ES(n) for general n via predicate surface "openProblem" ⓘ |
|
Support Vector Machines
surface form:
Support Vector Machine
|
convex optimization problem via predicate surface "optimizationProblem" ⓘ |
|
Support Vector Machines
surface form:
Support Vector Machine
|
quadratic programming problem via predicate surface "optimizationProblem" ⓘ |
| Report on the Meat-Packing Industry | threats to consumer health via predicate surface "identifiesProblem" ⓘ |
| Report on the Meat-Packing Industry | lack of transparency in meat production via predicate surface "identifiesProblem" ⓘ |
| Report on the Meat-Packing Industry | anti-competitive behavior in meat markets via predicate surface "identifiesProblem" ⓘ |
|
Euler–Mascheroni constant γ
surface form:
Euler–Mascheroni constant
|
It is unknown whether γ is rational or irrational via predicate surface "openProblem" ⓘ |
|
Euler–Mascheroni constant γ
surface form:
Euler–Mascheroni constant
|
It is unknown whether γ is algebraic or transcendental via predicate surface "openProblem" ⓘ |
| Dedekind number | exact formula for general n is unknown via predicate surface "openProblem" ⓘ |
| Dedekind number | asymptotic behavior is only partially understood via predicate surface "openProblem" ⓘ |
| सेवा भारती | स्वास्थ्य सुविधाओं की कमी via predicate surface "लक्षित_समस्या" ⓘ |
| Langlands program | general functoriality for all reductive groups via predicate surface "openProblem" ⓘ |
| Langlands program | full global Langlands correspondence for number fields via predicate surface "openProblem" ⓘ |