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 |
|---|---|
| Anti-Secession Law | the state shall employ non-peaceful means if major incidents occur that would lead to Taiwan's secession ⓘ |
| Article 111 of the Constitution of India | President may return a Bill other than a Money Bill to Parliament ⓘ |
| Article 111 of the Constitution of India | President may request Parliament to reconsider the Bill ⓘ |
| Article 111 of the Constitution of India | President may request Parliament to reconsider any specified provisions of the Bill ⓘ |
| Kleene’s normal form theorem | there exists a primitive recursive function T(e,x,y) and a primitive recursive function U(y) such that every partial recursive function φ_e(x) satisfies φ_e(x) = U(μy T(e,x,y)) when defined via predicate surface "statesFormally" ⓘ |
| Donaldson–Uhlenbeck–Yau theorem | a holomorphic vector bundle over a compact Kähler manifold admits a Hermitian–Einstein metric if and only if it is polystable via predicate surface "statesThat" ⓘ |
| Article 1 of the Constitution of Japan | The Emperor shall be the symbol of the State and of the unity of the people ⓘ |
| Article 1 of the Constitution of Japan | The Emperor derives his position from the will of the people with whom resides sovereign power ⓘ |
| Brockett’s condition for smooth feedback stabilization | for certain nonlinear systems no smooth static state feedback can render the origin asymptotically stable via predicate surface "statesThat" ⓘ |
| Quality Is Free | the only performance standard is zero defects ⓘ |
| Law 9 | the ball is out of play when it has wholly crossed the goal line or touchline ⓘ |
| Law 9 | the ball is out of play when the referee stops play ⓘ |
| Law 9 | the ball is in play at all other times ⓘ |
| Mersenne’s laws of vibrating strings | frequency is inversely proportional to string length ⓘ |
| Mersenne’s laws of vibrating strings | frequency is proportional to the square root of tension ⓘ |
| Mersenne’s laws of vibrating strings | frequency is inversely proportional to the square root of mass per unit length ⓘ |
| Preamble of the 1945 Constitution of Indonesia | belief in the One and Only God ⓘ |
| Preamble of the 1945 Constitution of Indonesia | just and civilized humanity ⓘ |
| Preamble of the 1945 Constitution of Indonesia | the unity of Indonesia ⓘ |
| Preamble of the 1945 Constitution of Indonesia | democracy guided by the inner wisdom of deliberations among representatives ⓘ |
| Preamble of the 1945 Constitution of Indonesia | social justice for all the people of Indonesia ⓘ |
| nearly neutral theory of molecular evolution | most molecular mutations are slightly deleterious or slightly advantageous via predicate surface "statesThat" ⓘ |
| nearly neutral theory of molecular evolution | the fate of slightly deleterious mutations is strongly influenced by genetic drift via predicate surface "statesThat" ⓘ |
| nearly neutral theory of molecular evolution | the fate of slightly advantageous mutations is strongly influenced by genetic drift via predicate surface "statesThat" ⓘ |
|
Sylow theorems
surface form:
Sylow first theorem
|
for a finite group G of order n and a prime p dividing n, G has a subgroup of order p^k where p^k is the highest power of p dividing n ⓘ |
|
Sylow theorems
surface form:
Sylow second theorem
|
any two Sylow p-subgroups of a finite group G are conjugate in G ⓘ |
|
Sylow theorems
surface form:
Sylow third theorem
|
the number of Sylow p-subgroups of a finite group G is congruent to 1 modulo p and divides the order of G ⓘ |
| Legendre's three-square theorem | A positive integer n can be written as x^2 + y^2 + z^2 with x,y,z in Z iff n is not of the form 4^a(8b+7) ⓘ |
| Liouville's theorem in Hamiltonian mechanics | the phase-space volume occupied by an ensemble of Hamiltonian systems is conserved in time ⓘ |
| Riesz representation theorem | every continuous linear functional on a Hilbert space can be represented as an inner product with a unique vector in that space via predicate surface "statesThat" ⓘ |
| Yoneda lemma | natural transformations from Hom(C,-) to a functor F correspond bijectively to elements of F(C) ⓘ |
| Yoneda lemma | natural transformations from Hom(-,C) to a functor F correspond bijectively to elements of F(C) ⓘ |
| source coding theorem | the minimum achievable average codeword length per source symbol is lower bounded by the entropy of the source via predicate surface "statesThat" ⓘ |
| source coding theorem | for any uniquely decodable code the average codeword length is at least the source entropy via predicate surface "statesThat" ⓘ |
| source coding theorem | there exist codes whose average codeword length is arbitrarily close to the source entropy via predicate surface "statesThat" ⓘ |
| noisy-channel coding theorem | for any rate below channel capacity there exist codes with arbitrarily small error probability via predicate surface "statesThat" ⓘ |
| noisy-channel coding theorem | reliable communication over a noisy channel is possible if and only if the transmission rate is less than channel capacity via predicate surface "statesThat" ⓘ |
| Magendie’s law | anterior (ventral) spinal nerve roots are primarily motor ⓘ |
| Magendie’s law | posterior (dorsal) spinal nerve roots are primarily sensory ⓘ |
| Thom transversality theorem | for a submanifold N of a manifold Y, the set of smooth maps f : X → Y transverse to N is residual in C^∞(X,Y) ⓘ |
| Thom transversality theorem | for a submanifold N of a manifold Y, the set of smooth maps f : X → Y transverse to N is dense in C^∞(X,Y) ⓘ |
| Basic Law: Nation-State of the Jewish People | the state will act to encourage and promote the establishment and consolidation of Jewish settlement ⓘ |
| Basic Law: Nation-State of the Jewish People | the state will be open for Jewish immigration ⓘ |
| Basic Law: Nation-State of the Jewish People | the state will act to ensure the safety of members of the Jewish people in trouble or in captivity ⓘ |
| Basic Law: Nation-State of the Jewish People | the state will act to preserve the cultural, historical and religious heritage of the Jewish people ⓘ |
| Hamilton's rule | an altruistic trait can spread when rb exceeds c via predicate surface "statesThat" ⓘ |
| Eilenberg–Zilber theorem | Eilenberg–Zilber map and Alexander–Whitney map are chain homotopy inverses NERFINISHED ⓘ |
| Kohlrausch law of independent migration of ions | at infinite dilution each ion contributes a characteristic amount to the molar conductivity of an electrolyte via predicate surface "statesThat" ⓘ |
| Kohlrausch law of independent migration of ions | the molar conductivity at infinite dilution is the sum of independent ionic contributions via predicate surface "statesThat" ⓘ |
| Hurwitz theorem | for every irrational real number x there exist infinitely many rationals p/q with |x - p/q| < 1/(sqrt(5) q^2) via predicate surface "statesThat" ⓘ |