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 |
|---|---|
| Clean, Old-Fashioned Hate | football supremacy in Georgia via predicate surface "stateBraggingRights" ⓘ |
| Fitting lemma | for a linear operator on a finite-dimensional vector space, the space decomposes into a direct sum of the generalized eigenspaces corresponding to the nilpotent and invertible parts ⓘ |
| Fitting lemma | for an endomorphism of a finite-length module, the module decomposes as a direct sum of the kernel of a power and the image of a power ⓘ |
| Fitting decomposition | a finite group can be expressed as a product of its Fitting subgroup and a complementary subgroup under suitable conditions via predicate surface "statesThat" ⓘ |
| Fubini's theorem | the integral of an integrable function over a product space equals the iterated integrals almost everywhere ⓘ |
| Genesis 2 | It is not good that the man should be alone ⓘ |
| Genesis 2 | Therefore a man shall leave his father and his mother and hold fast to his wife ⓘ |
| Dulong–Petit law for molar heat capacity of many solids at high temperature | the molar heat capacity at constant volume is approximately 3R ⓘ |
| Dulong–Petit law | many solid elements have approximately the same molar heat capacity at high temperature ⓘ |
| Laporte rule | electronic transitions are allowed only between states of opposite parity in centrosymmetric species via predicate surface "statesThat" ⓘ |
| Clausius statement of the second law of thermodynamics | Heat cannot spontaneously flow from a colder body to a hotter body ⓘ |
| Clausius statement of the second law of thermodynamics | Spontaneous heat transfer occurs only from hotter to colder bodies ⓘ |
| Quran 69:1–52 | people will be presented before their Lord ⓘ |
| Quran 69:1–52 | records of deeds will be distributed ⓘ |
| First Law of Thermodynamics | energy cannot be created or destroyed in an isolated system ⓘ |
| First Law of Thermodynamics | the total energy of an isolated system remains constant ⓘ |
| First Law of Thermodynamics | energy can only be transformed from one form to another or transferred between systems ⓘ |
| Spheres of Justice | the meaning of a social good determines appropriate distribution ⓘ |
| Spheres of Justice | dominance of one sphere over others leads to injustice ⓘ |
| Kolmogorov zero–one law | every tail event of a sequence of independent random variables has probability 0 or 1 via predicate surface "statesThat" ⓘ |
| Quran 86:1–17 | humans will have no strength or helper against God ⓘ |
| Quran 86:1–17 | God also plans ⓘ |
| Picard theorem | a non-constant entire function takes every complex value, with at most one exception ⓘ |
|
Hadamard matrices
surface form:
Hadamard conjecture
|
Hadamard matrices exist for every order n that is a multiple of 4 ⓘ |
| Hadamard three-circle theorem | logarithm of the maximum modulus is a convex function of the logarithm of the radius ⓘ |
| Psalm 97 | the LORD preserves the souls of his saints ⓘ |
| Tarski–Mostowski–Robinson theorem | a class of structures is elementary if and only if it is closed under isomorphisms, ultraproducts, and ultraroots via predicate surface "statesThat" ⓘ |
| Tarski’s theorem on the completeness of elementary algebra and geometry | every first-order sentence in the language of ordered fields is either true in all real closed fields or false in all real closed fields ⓘ |
| Tarski’s theorem on the completeness of elementary algebra and geometry | there is an effective procedure to decide whether a first-order sentence in the language of ordered fields holds in the real numbers ⓘ |
| Tarski’s theorem on the completeness of elementary algebra and geometry | every first-order formula in the language of ordered fields is equivalent to a quantifier-free formula over real closed fields ⓘ |
| conformal cyclic cosmology | the remote future of one aeon becomes the Big Bang of the next ⓘ |
| Yablonovitch limit in light trapping | maximum path length enhancement factor is 4n^2 ⓘ |
| Poynting theorem | the decrease of electromagnetic energy in a volume equals the net energy flux out plus work done on charges ⓘ |
| Fick's first law of diffusion | the diffusive flux is proportional to the negative gradient of concentration ⓘ |
| Child–Langmuir law | current density is proportional to the three-halves power of the applied voltage ⓘ |
| Khinchin's representation theorem | every nonnegative definite function on the integers is the autocorrelation function of some stationary process via predicate surface "statesThat" ⓘ |
| Born statistical interpretation | the wave function does not represent definite physical properties via predicate surface "statesThat" ⓘ |
| Born statistical interpretation | the wave function encodes probabilities for measurement outcomes via predicate surface "statesThat" ⓘ |
| Born statistical interpretation | measurement results are intrinsically probabilistic via predicate surface "statesThat" ⓘ |
| Born statistical interpretation | only probabilities of outcomes are predictable via predicate surface "statesThat" ⓘ |
| The Purity | God does not beget ⓘ |
| The Purity | God is not begotten ⓘ |
| The Purity | there is none comparable to God ⓘ |
| United Nations General Assembly resolution 96 (I) | genocide results in great losses to humanity in the form of cultural and other contributions represented by these human groups ⓘ |
| second-order cybernetics | observers are part of the systems they observe ⓘ |
| second-order cybernetics | descriptions of systems depend on the observer ⓘ |
| Böhm–Jacopini theorem | any deterministic flowchart program can be transformed into an equivalent program using only sequence, selection, and iteration ⓘ |
| Böhm–Jacopini theorem | goto statements are not necessary for expressing the control flow of deterministic programs ⓘ |
| families index theorem | the analytic index of a family of elliptic operators equals its topological index in K-theory via predicate surface "statesThat" ⓘ |
| On the Plurality of Worlds | actual world is one world among many possible worlds ⓘ |