states
P34
predicate
Indicates that an entity formally declares, expresses, or asserts a fact, opinion, or condition about another entity or situation.
All labels observed (11)
| Label | Occurrences |
|---|---|
| states canonical | 557 |
| statesThat | 183 |
| statesResponsibilityTo | 7 |
| statesCondition | 3 |
| stateBraggingRights | 2 |
| statesObjective | 2 |
| famouslyStates | 1 |
| proposition2States | 1 |
| statesCorrespondenceBetween | 1 |
| statesFormally | 1 |
| statesReason | 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: states
Generated description
Indicates that an entity formally declares, expresses, or asserts a fact, opinion, or condition about another entity or situation.
Sample triples (759)
| Subject | Object |
|---|---|
| Koksma–Hlawka inequality | integration error is bounded by the product of variation and discrepancy via predicate surface "statesThat" ⓘ |
| Cauchy’s integral test | the series ∑ f(n) converges if the improper integral ∫₁^∞ f(x) dx converges ⓘ |
| Cauchy’s integral test | the series ∑ f(n) diverges if the improper integral ∫₁^∞ f(x) dx diverges ⓘ |
| Poincaré separation theorem | eigenvalues of a principal submatrix lie between eigenvalues of the original matrix in an interlacing pattern ⓘ |
| Münchhausen trilemma | every attempt to justify a belief leads to one of three unsatisfactory options via predicate surface "statesThat" ⓘ |
| Chapter One – Sovereignty of the People and Supremacy of this Constitution | sovereign power is delegated to Parliament ⓘ |
| Chapter One – Sovereignty of the People and Supremacy of this Constitution | sovereign power is delegated to the national executive ⓘ |
| Chapter One – Sovereignty of the People and Supremacy of this Constitution | sovereign power is delegated to the judiciary and independent tribunals ⓘ |
| Chapter One – Sovereignty of the People and Supremacy of this Constitution | sovereign power is delegated to the county governments ⓘ |
| Davis–Putnam–Robinson–Matiyasevich theorem | every recursively enumerable set of natural numbers is Diophantine ⓘ |
| law of excluded middle | every proposition is either true or false ⓘ |
| law of excluded middle | for any proposition P, either P is true or its negation ¬P is true ⓘ |
| Kesten’s theorem on random walks on groups | for non-amenable groups, return probabilities of a symmetric, finitely supported random walk decay exponentially fast ⓘ |
| Kesten’s theorem | a finitely generated group is amenable if and only if the spectral radius of a symmetric random walk on the group equals 1 via predicate surface "statesThat" ⓘ |
| zeroth law of black hole mechanics | surface gravity is constant over the event horizon of a stationary black hole ⓘ |
| zeroth law of thermodynamics | if two systems are each in thermal equilibrium with a third system, they are in thermal equilibrium with each other ⓘ |
| cut-elimination theorem | every proof using the cut rule can be transformed into a cut-free proof via predicate surface "statesThat" ⓘ |
| Gloger’s rule | populations in warm, humid climates tend to be more darkly pigmented via predicate surface "statesThat" ⓘ |
| Gloger’s rule | populations in cool, dry climates tend to be more lightly pigmented via predicate surface "statesThat" ⓘ |
| Protocol No 30 on the application of the Charter to Poland and the United Kingdom | that Title IV of the Charter does not create justiciable rights applicable to Poland and the United Kingdom except in so far as such rights are provided for in national law or EU law ⓘ |
| Joule’s law of heating | heat produced in a conductor is proportional to the square of the current, the resistance, and the time of flow ⓘ |
| Qur'an 53:1–62 | that every soul is responsible for what it earns ⓘ |
| 1997 Business Roundtable statement on corporate governance | that the principal objective of a corporation is to generate economic returns to its owners ⓘ |
| 1997 Business Roundtable statement on corporate governance | that directors are accountable to shareholders ⓘ |
| Joint Declaration on the Doctrine of Justification | justification is by God’s grace through faith in Christ ⓘ |
| Joint Declaration on the Doctrine of Justification | good works are the fruits and signs of justification ⓘ |
| Joint Declaration on the Doctrine of Justification | condemnations of the 16th century do not apply to the current teaching of the dialogue partners ⓘ |
| Hund’s rules for ordering of terms | for less-than-half-filled subshells, lowest J has lowest energy ⓘ |
| Hund’s rules for ordering of terms | for more-than-half-filled subshells, highest J has lowest energy ⓘ |
| Genesis 15 | Abram’s reward will be very great ⓘ |
| Genesis 15 | Abram will have a son from his own body ⓘ |
| Genesis 15 | Abram’s descendants will be as numerous as the stars ⓘ |
| Genesis 15 | Abram believed the LORD ⓘ |
| Genesis 15 | the LORD counted Abram’s belief as righteousness ⓘ |
| Genesis 15 | the LORD brought Abram out of Ur of the Chaldeans ⓘ |
| Genesis 15 | Abram’s descendants will be strangers in a land not theirs ⓘ |
| Genesis 15 | Abram’s descendants will be enslaved and oppressed for four hundred years ⓘ |
| Genesis 15 | the LORD will judge the nation that enslaves Abram’s descendants ⓘ |
| Genesis 15 | Abram’s descendants will come out with great possessions ⓘ |
| Genesis 15 | Abram will go to his fathers in peace ⓘ |
| Genesis 15 | Abram will be buried at a good old age NERFINISHED ⓘ |
| Genesis 15 | the iniquity of the Amorites is not yet complete ⓘ |
| Gabriel–Popescu theorem | every Grothendieck abelian category is a localization of a module category via predicate surface "statesThat" ⓘ |
| Gabriel–Popescu theorem | every Grothendieck category is equivalent to a reflective localization of a module category via predicate surface "statesThat" ⓘ |
| Gabriel–Popescu theorem | there exists a fully faithful exact functor from a Grothendieck category into a module category via predicate surface "statesThat" ⓘ |
| Gabriel–Popescu theorem | a Grothendieck category is equivalent to the category of modules over a ring localized at a localizing subcategory via predicate surface "statesThat" ⓘ |
| Section 61 of the Constitution of Australia | The executive power of the Commonwealth is vested in the King and is exercisable by the Governor-General as the King’s representative ⓘ |
| Bott periodicity | stable homotopy groups of classical groups are periodic ⓘ |
| Calabi conjecture | that on a compact Kähler manifold with vanishing first Chern class there exists a Ricci-flat Kähler metric in any given Kähler class ⓘ |
| Calabi conjecture | that the Ricci-flat Kähler metric in a fixed Kähler class is unique ⓘ |