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 |
|---|---|
|
Roth theorem
surface form:
Roth's theorem
|
if α is an irrational algebraic number and ε > 0 then |α − p/q| < 1/q^{2+ε} has only finitely many rational solutions p/q ⓘ |
| Pólya’s theorem on random walks | simple random walks on one-dimensional integer lattices are recurrent ⓘ |
| Pólya’s theorem on random walks | simple random walks on two-dimensional integer lattices are recurrent ⓘ |
| Pólya’s theorem on random walks | simple random walks on integer lattices of dimension three or higher are transient ⓘ |
| Birkhoff’s representation theorem for finite distributive lattices | every finite distributive lattice is isomorphic to the lattice of lower ideals of a finite poset via predicate surface "statesThat" ⓘ |
| Birkhoff’s representation theorem for finite distributive lattices | for every finite distributive lattice there exists a finite poset whose lattice of order ideals is isomorphic to it via predicate surface "statesThat" ⓘ |
| Taylor–Proudman theorem | steady flow in a rapidly rotating inviscid incompressible fluid is uniform along the axis of rotation via predicate surface "statesThat" ⓘ |
| Mordell–Weil theorem | the group of rational points on an abelian variety over a number field is finitely generated via predicate surface "statesThat" ⓘ |
| Cover’s theorem on the separability of patterns | for a given number of patterns, the probability of linear separability increases with the dimensionality of the feature space up to a point ⓘ |
| Cover’s theorem | for a complex pattern-classification problem, a nonlinear transformation to a high-dimensional space is likely to convert it into a linearly separable problem ⓘ |
| Slepian–Wolf coding theorem | sum of individual rates must be at least joint entropy of sources ⓘ |
| Slepian–Wolf coding theorem | each individual rate must be at least conditional entropy given the other source ⓘ |
| Four Gallican Articles | that popes have no authority in temporal matters over kings ⓘ |
| Four Gallican Articles | that papal authority is limited by canons and customs of the Church ⓘ |
| Four Gallican Articles | that papal judgments are not irreformable without consent of the Church ⓘ |
| United Nations Security Council Resolution 2334 | that settlements constitute a flagrant violation under international law ⓘ |
| United Nations Security Council Resolution 2334 | that settlements are a major obstacle to the achievement of the two-State solution ⓘ |
| CPT theorem | any Lorentz-invariant local quantum field theory with a Hermitian Hamiltonian is invariant under CPT ⓘ |
| Hohenberg–Kohn theorem | the ground-state electron density uniquely determines the external potential up to an additive constant ⓘ |
| Hohenberg–Kohn theorem | all ground-state properties of a many-electron system are functionals of the ground-state electron density ⓘ |
| Article 20 Treaty on the Functioning of the European Union | every person holding the nationality of a Member State is a citizen of the Union ⓘ |
| Hamas 2017 political document | conflict is with the Zionist project, not with Jews because of their religion ⓘ |
| Article 164 of the Constitution of India | Council of Ministers shall be collectively responsible to the Legislative Assembly of the State NERFINISHED ⓘ |
| Copernican principle (weak form) | our location in the universe is not special ⓘ |
| Copernican principle (weak form) | our location in the universe is not privileged ⓘ |
| second supplementary law | for an odd prime p, (2/p) = 1 if p ≡ ±1 (mod 8) ⓘ |
| second supplementary law | for an odd prime p, (2/p) = -1 if p ≡ ±3 (mod 8) ⓘ |
| The Free Lunch Is Over | CPU clock speeds have plateaued due to power and heat limits ⓘ |
| The Free Lunch Is Over | hardware vendors are increasing core counts instead of clock speeds ⓘ |
| August 17 Communiqué (1982) | United States does not seek to carry out a long-term policy of arms sales to Taiwan NERFINISHED ⓘ |
| August 17 Communiqué (1982) | U.S. arms sales to Taiwan will not exceed, either in qualitative or in quantitative terms, the level of those supplied in recent years ⓘ |
| August 17 Communiqué (1982) | United States intends to gradually reduce its sale of arms to Taiwan NERFINISHED ⓘ |
| Brillouin theorem | single excitations from a Hartree–Fock ground state do not mix with the ground state to first order ⓘ |
| Brillouin theorem | single excitations do not lower the Hartree–Fock ground-state energy to first order ⓘ |
| Hopf–Rinow theorem | for a connected Riemannian manifold the following conditions are equivalent ⓘ |
| Alfvén’s theorem in magnetohydrodynamics | magnetic field lines are frozen into the plasma in ideal MHD via predicate surface "statesThat" ⓘ |
| Alfvén’s theorem in magnetohydrodynamics | magnetic field lines move with the fluid in a perfectly conducting plasma via predicate surface "statesThat" ⓘ |
| Alfvén’s theorem in magnetohydrodynamics | magnetic field line topology is preserved in time in ideal MHD via predicate surface "statesThat" ⓘ |
| Genesis 20 | Abraham will pray for Abimelech and he will live ⓘ |
| Nernst unattainability principle | it is impossible to reach absolute zero temperature in a finite number of processes ⓘ |
| Nernst unattainability principle | no finite sequence of thermodynamic operations can reduce a system’s temperature to absolute zero ⓘ |
| second law of thermodynamics | the total entropy of an isolated system never decreases over time ⓘ |
| Euler pentagonal number theorem | the infinite product ∏_{n≥1}(1−x^n) equals ∑_{k=−∞}^{∞}(−1)^k x^{k(3k−1)/2} ⓘ |
|
Social Judgment theory
surface form:
Social Judgment Theory
|
people compare message positions to their own anchor position ⓘ |
|
Social Judgment theory
surface form:
Social Judgment Theory
|
messages within the latitude of acceptance are more likely to be persuasive ⓘ |
|
Social Judgment theory
surface form:
Social Judgment Theory
|
messages within the latitude of rejection are likely to be rejected ⓘ |
|
Social Judgment theory
surface form:
Social Judgment Theory
|
messages within the latitude of noncommitment may lead to attitude change ⓘ |
| Disney Terms of Use | that continued use after changes constitutes acceptance ⓘ |
| Bézout’s theorem | the number of intersection points of two projective plane curves equals the product of their degrees via predicate surface "statesThat" ⓘ |
| Diamond Model of national advantage | national environment shapes firm competitive advantage ⓘ |