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 |
|---|---|
| Noether normalization lemma | if A is a finitely generated k-algebra then there exist algebraically independent elements y1,…,yd in A such that A is integral over k[y1,…,yd] ⓘ |
| Noether's isomorphism theorems | homomorphic image of a structure is isomorphic to a quotient by the kernel ⓘ |
| Dignitatis Humanae | religious freedom must be recognized in constitutional law ⓘ |
| Dignitatis Humanae | religious freedom must be protected as a civil right ⓘ |
| Galilean relativity | laws of mechanics are the same in all inertial frames ⓘ |
| Pauli exclusion principle | no two identical fermions can occupy the same quantum state simultaneously ⓘ |
| Gauss's law for magnetism | the net magnetic flux through any closed surface is zero ⓘ |
| Newton's first law of motion | an object at rest remains at rest unless acted upon by a net external force ⓘ |
| Newton's first law of motion | an object in uniform straight-line motion continues in that motion unless acted upon by a net external force ⓘ |
| Traditionis custodes | the liturgical books promulgated by Paul VI and John Paul II are the unique expression of the lex orandi of the Roman Rite ⓘ |
| Stefan–Boltzmann law | the total energy radiated per unit surface area of a black body is proportional to the fourth power of its absolute temperature ⓘ |
| special relativity | laws of physics are the same in all inertial frames ⓘ |
| special relativity | speed of light in vacuum is the same for all inertial observers ⓘ |
| Special Report on Global Warming of 1.5 °C | limiting warming to 1.5 °C requires rapid and far-reaching transitions in energy, land, urban and infrastructure systems ⓘ |
| Special Report on Global Warming of 1.5 °C | limiting warming to 1.5 °C requires rapid and far-reaching transitions in industrial systems ⓘ |
| Special Report on Global Warming of 1.5 °C | global net anthropogenic CO2 emissions must decline by about 45% from 2010 levels by 2030 to limit warming to 1.5 °C ⓘ |
| Special Report on Global Warming of 1.5 °C | global net anthropogenic CO2 emissions must reach net zero around 2050 to limit warming to 1.5 °C ⓘ |
| Verner's law | Proto-Indo-European voiceless stops became voiced fricatives when not immediately preceded by the word accent via predicate surface "statesThat" ⓘ |
| Verner's law | Proto-Indo-European *p *t *k *kʷ after an unaccented syllable became Proto-Germanic *b *d *g *gʷ (voiced stops/fricatives) via predicate surface "statesThat" ⓘ |
| Hilbert basis theorem | If R is a Noetherian ring then the polynomial ring R[x] is Noetherian ⓘ |
| Hilbert basis theorem | If R is a Noetherian ring then the polynomial ring R[x_1,\dots,x_n] is Noetherian for any finite n ⓘ |
| Article 43 of the Constitution of Japan | Both Houses shall consist of elected members ⓘ |
| Article 43 of the Constitution of Japan | All members of both Houses shall be representatives of all the people ⓘ |
| Israel–Carter–Robinson uniqueness theorems | a static, asymptotically flat vacuum black hole is the Schwarzschild solution via predicate surface "statesThat" ⓘ |
| Israel–Carter–Robinson uniqueness theorems | a static, asymptotically flat electrovacuum black hole is the Reissner–Nordström solution via predicate surface "statesThat" ⓘ |
| Israel–Carter–Robinson uniqueness theorems | a stationary, axisymmetric, asymptotically flat electrovacuum black hole is a Kerr–Newman solution via predicate surface "statesThat" ⓘ |
| Hilbert’s syzygy theorem | every finitely generated module over a polynomial ring in n variables over a field has a free resolution of length at most n via predicate surface "statesThat" ⓘ |
| Hilbert’s syzygy theorem | projective dimension of a finitely generated module over a polynomial ring in n variables over a field is at most n via predicate surface "statesThat" ⓘ |
| Sublimis Deus | Indigenous peoples should not be robbed or enslaved even if they are outside the faith ⓘ |
| Our Credo | customers via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | patients via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | doctors via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | nurses via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | employees via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | communities via predicate surface "statesResponsibilityTo" ⓘ |
| Our Credo | shareholders via predicate surface "statesResponsibilityTo" ⓘ |
|
The Art of Fiction (essay about his work and theory)
surface form:
The Art of Fiction
|
that the novel should represent life as it is ⓘ |
|
The Art of Fiction (essay about his work and theory)
surface form:
The Art of Fiction
|
that there are no prescriptions for what a novel must be about ⓘ |
|
The Art of Fiction (essay about his work and theory)
surface form:
The Art of Fiction
|
that quality of execution is more important than subject matter ⓘ |
|
The Art of Fiction (essay about his work and theory)
surface form:
The Art of Fiction
|
that the novelist must be free to choose any subject ⓘ |
| Über die Anzahl der Primzahlen unter einer gegebenen Grösse | explicit formula relating π(x) to zeros of ζ(s) ⓘ |
|
Philippians 2:10-11
surface form:
Philippians 2:10–11
|
every knee should bow in heaven and on earth and under the earth ⓘ |
|
Philippians 2:10-11
surface form:
Philippians 2:10–11
|
every tongue confess that Jesus Christ is Lord, to the glory of God the Father ⓘ |
| Q source hypothesis | Q source is now lost ⓘ |
| Q source hypothesis | Q source was not used by the Gospel of Mark ⓘ |
| Lambeth 1998 Resolution I.10 on Human Sexuality | abstinence is right for those not called to marriage ⓘ |
|
Book II
surface form:
Book II (An Essay Concerning Human Understanding)
|
all ideas are derived from sensation or reflection ⓘ |
| Wick’s theorem | a time-ordered product of free fields can be written as a sum of normal-ordered products with all possible contractions via predicate surface "statesThat" ⓘ |
| Doob–Meyer decomposition | every suitable submartingale can be written as the sum of a martingale and a predictable increasing process via predicate surface "statesThat" ⓘ |
| Basic Law of the Hong Kong Special Administrative Region | socialist system and policies shall not be practised in Hong Kong ⓘ |