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 |
|---|---|
| Robbins theorem | A connected undirected graph has a strongly connected orientation if and only if it has no bridges ⓘ |
| Low’s soft-photon theorem | soft-photon emission amplitude factorizes into universal soft factor times hard amplitude ⓘ |
| Lévy–Itô decomposition | any Lévy process can be decomposed into a Brownian motion with drift plus a jump process via predicate surface "statesThat" ⓘ |
| Quran 19:7 | the boy’s name will be Yahya ⓘ |
| Quran 19:7 | no one before had been given the same name ⓘ |
| -5/3 law | the energy spectrum E(k) scales as k^(-5/3) in the inertial subrange via predicate surface "statesThat" ⓘ |
|
Borel–Cantelli lemmas
surface form:
first Borel–Cantelli lemma
|
if the sum of probabilities of events is finite then the probability that infinitely many of them occur is zero ⓘ |
|
Borel–Cantelli lemmas
surface form:
second Borel–Cantelli lemma
|
if events are independent and the sum of their probabilities diverges then the probability that infinitely many occur is one ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a regulation shall have general application ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a regulation shall be binding in its entirety ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a regulation shall be directly applicable in all Member States ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a directive shall be binding as to the result to be achieved ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a directive shall leave to the national authorities the choice of form and methods ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | a decision shall be binding in its entirety upon those to whom it is addressed ⓘ |
| Article 288 of the Treaty on the Functioning of the European Union | recommendations and opinions shall have no binding force ⓘ |
| Duistermaat–Heckman formula | the pushforward of the Liouville measure by the moment map has a piecewise polynomial density ⓘ |
| Petri’s theorem | the canonical ideal is generated by quadrics for a general non-hyperelliptic curve of genus g ≥ 3 ⓘ |
| Lebesgue decomposition theorem | any σ-finite measure μ can be decomposed into μ_ac + μ_s relative to another σ-finite measure ν via predicate surface "statesThat" ⓘ |
| Lebesgue decomposition theorem | μ_ac is absolutely continuous with respect to ν via predicate surface "statesThat" ⓘ |
| Lebesgue decomposition theorem | μ_s is singular with respect to ν via predicate surface "statesThat" ⓘ |
| Lebesgue decomposition theorem | the decomposition μ = μ_ac + μ_s is unique via predicate surface "statesThat" ⓘ |
| Hammersley–Clifford theorem | a positive distribution that is Markov with respect to an undirected graph factorizes over the cliques of that graph ⓘ |
| Hammersley–Clifford theorem | for positive distributions, the global Markov property is equivalent to factorization over cliques ⓘ |
| Bloch–Kato conjecture | norm residue homomorphism from Milnor K-theory modulo l to Galois cohomology is an isomorphism ⓘ |
| Morse lemma | a smooth function near a non-degenerate critical point is equivalent to a quadratic form in suitable local coordinates ⓘ |
| Morse lemma | there exist local coordinates in which the function has no terms of order higher than two near a non-degenerate critical point ⓘ |
| Dehn–Lickorish theorem | the mapping class group of a closed orientable surface is generated by finitely many Dehn twists via predicate surface "statesThat" ⓘ |
| gate control theory of pain | pain signals are modulated before reaching the brain via predicate surface "statesThat" ⓘ |
| gate control theory of pain | spinal cord acts as a gate for pain transmission via predicate surface "statesThat" ⓘ |
| gate control theory of pain | psychological factors can influence pain perception via descending pathways via predicate surface "statesThat" ⓘ |
| Borg–Marchenko theorem | that a potential is uniquely determined by appropriate spectral data ⓘ |
| Ribet's theorem | if a certain semistable elliptic curve associated to a Frey curve were modular, then it would contradict properties of modular forms of specific level ⓘ |
| UN Security Council Resolution 298 | acquisition of territory by military conquest is inadmissible ⓘ |
| Cramér’s theorem in large deviations | empirical mean satisfies a large deviation principle with a convex good rate function ⓘ |
| Part III of Ethics | each thing strives to persevere in its being ⓘ |
| Postulates of Empirical Thought in General | that what agrees with the formal conditions of experience is possible ⓘ |
| Postulates of Empirical Thought in General | that what is connected with the material conditions of experience is actual ⓘ |
| Postulates of Empirical Thought in General | that what is determined by universal conditions of experience is necessary ⓘ |
| Condorcet jury theorem | probability that majority decision is correct increases with number of voters ⓘ |
| Condorcet jury theorem | if each voter is more likely than not to be correct, majority decision converges to truth as group size grows ⓘ |
| Condorcet jury theorem | as number of voters tends to infinity, probability that majority is correct tends to 1 when p>1/2 ⓘ |
| Condorcet jury theorem | as number of voters tends to infinity, probability that majority is correct tends to 0 when p<1/2 ⓘ |
| Condorcet jury theorem | if p=1/2, probability that majority is correct remains 1/2 for all group sizes ⓘ |
|
apostolic constitution Episcopalis Communio
surface form:
Episcopalis Communio
|
that the final synodal document can participate in the ordinary magisterium if expressly approved by the Pope ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20 of the German Basic Law
|
all state authority is derived from the people ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20 of the German Basic Law
|
the people exercise state authority through elections and other votes ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20 of the German Basic Law
|
the people exercise state authority through specific legislative, executive and judicial bodies ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20(1) of the German Basic Law
|
The Federal Republic of Germany is a democratic and social federal state NERFINISHED ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20(2) of the German Basic Law
|
All state authority is derived from the people ⓘ |
|
Article 20 (Basic constitutional principles)
surface form:
Article 20(2) of the German Basic Law
|
The people exercise state authority through elections and other votes ⓘ |