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 |
|---|---|
| theory of marginal utility | value of a good is determined by its marginal utility rather than total utility ⓘ |
| theory of marginal utility | marginal utility typically decreases as quantity consumed increases ⓘ |
| Deuteronomy 34 | no prophet like Moses arose again in Israel ⓘ |
| Deuteronomy 34 | the LORD knew Moses face to face ⓘ |
| Deuteronomy 34 | Moses was buried in the land of Moab ⓘ |
| Deuteronomy 34 | no one knows Moses’ burial place ⓘ |
| Kuhn’s theorem | in games with perfect recall mixed strategies and behavior strategies are outcome-equivalent ⓘ |
| Genesis 5 | Adam was created in the likeness of God ⓘ |
| Genesis 5 | Adam fathered a son in his own likeness, named Seth ⓘ |
| Declaration of Philadelphia | labour is not a commodity ⓘ |
| Declaration of Philadelphia | freedom of expression and of association are essential to sustained progress ⓘ |
| Declaration of Philadelphia | poverty anywhere constitutes a danger to prosperity everywhere ⓘ |
| Declaration of Philadelphia | all human beings have the right to pursue both their material well-being and their spiritual development in conditions of freedom and dignity ⓘ |
|
Declaration of Philadelphia as annex
surface form:
Declaration of Philadelphia
|
labour is not a commodity via predicate surface "statesThat" ⓘ |
|
Declaration of Philadelphia as annex
surface form:
Declaration of Philadelphia
|
freedom of expression and of association are essential to sustained progress via predicate surface "statesThat" ⓘ |
|
Declaration of Philadelphia as annex
surface form:
Declaration of Philadelphia
|
poverty anywhere constitutes a danger to prosperity everywhere via predicate surface "statesThat" ⓘ |
|
Declaration of Philadelphia as annex
surface form:
Declaration of Philadelphia
|
all human beings have the right to pursue both their material well-being and their spiritual development in conditions of freedom and dignity via predicate surface "statesThat" ⓘ |
| 1 Corinthians 12 | one and the same Spirit works all these things ⓘ |
| 1 Corinthians 12 |
gift of the Holy Spirit
ⓘ
surface form:
the Spirit distributes gifts to each one individually as he wills
|
| 1 Corinthians 1 | the message of the cross is foolishness to those who are perishing ⓘ |
| 1 Corinthians 1 | the message of the cross is the power of God to those who are being saved ⓘ |
| Stern Review | climate change is the greatest market failure the world has seen ⓘ |
| cosmic no-hair conjecture | an expanding universe with a positive cosmological constant generically evolves toward a de Sitter–like state via predicate surface "statesThat" ⓘ |
| cosmic no-hair conjecture | under broad conditions an initially anisotropic universe becomes asymptotically homogeneous and isotropic via predicate surface "statesThat" ⓘ |
| Reinventing Fire | energy transition can be led by business rather than government mandate ⓘ |
| Banach–Mazur theorem | every separable Banach space is isometrically isomorphic to a closed subspace of C(K) for some compact metric space K via predicate surface "statesThat" ⓘ |
| Banach–Mazur theorem | for every separable Banach space X there exists a compact metric space K and an isometric linear embedding of X into C(K) via predicate surface "statesThat" ⓘ |
|
Book I
surface form:
Book I (Nicomachean Ethics)
|
ethical inquiry must be imprecise and suited to its subject matter ⓘ |
|
Book II
surface form:
Book II (Nicomachean Ethics)
|
we become just by doing just actions ⓘ |
|
Book II
surface form:
Book II (Nicomachean Ethics)
|
we become temperate by doing temperate actions ⓘ |
|
Book II
surface form:
Book II (Nicomachean Ethics)
|
we become brave by doing brave actions ⓘ |
| Article IV of the Genocide Convention | persons committing genocide shall be punished ⓘ |
| Stone’s theorem on one-parameter unitary groups | every strongly continuous one-parameter unitary group is generated by a unique self-adjoint operator via predicate surface "statesThat" ⓘ |
| Stone’s theorem on one-parameter unitary groups | every self-adjoint operator generates a strongly continuous one-parameter unitary group via predicate surface "statesThat" ⓘ |
| Article 26 of the Constitution of Japan | all people shall have the right to receive an equal education correspondent to their ability ⓘ |
| Article 26 of the Constitution of Japan | all people shall be obligated to have all boys and girls under their protection receive ordinary education as provided by law ⓘ |
| Article 26 of the Constitution of Japan | such compulsory education shall be free ⓘ |
|
Löwenheim–Skolem theorem (via additional arguments)
surface form:
downward Löwenheim–Skolem theorem
|
If a first-order theory has an infinite model then it has a countable model ⓘ |
|
Löwenheim–Skolem theorem (via additional arguments)
surface form:
upward Löwenheim–Skolem theorem
|
If a first-order theory has an infinite model then it has models of arbitrarily large infinite cardinalities ⓘ |
|
equation E = mc^2
surface form:
E = mc^2
|
energy equals mass times speed of light squared via predicate surface "statesThat" ⓘ |
| First Welfare Theorem | every competitive equilibrium is Pareto efficient under certain conditions ⓘ |
| European Council Decision 2011/199/EU | Member States whose currency is the euro may establish a stability mechanism to be activated if indispensable to safeguard the stability of the euro area as a whole via predicate surface "statesThat" ⓘ |
| European Council Decision 2011/199/EU | any financial assistance under the stability mechanism will be subject to strict conditionality via predicate surface "statesThat" ⓘ |
|
Clarity Act on Quebec secession
surface form:
Clarity Act
|
the Government of Canada will not negotiate secession unless the referendum question is clear via predicate surface "statesThat" ⓘ |
|
Clarity Act on Quebec secession
surface form:
Clarity Act
|
the Government of Canada will not negotiate secession unless there is a clear majority via predicate surface "statesThat" ⓘ |
| IFRS Conceptual Framework for Financial Reporting | provide financial information about the reporting entity useful to existing and potential investors, lenders and other creditors via predicate surface "statesObjective" ⓘ |
| Conceptual Framework for Financial Reporting | to provide financial information about the reporting entity that is useful to existing and potential investors, lenders and other creditors via predicate surface "statesObjective" ⓘ |
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
sets are determined solely by their members ⓘ |
|
Axiom of Extensionality in set theory
surface form:
Axiom of Extensionality
|
two sets are equal if and only if they have the same elements ⓘ |
| Genesis 18 | Sarah will bear a son within a year ⓘ |