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 |
|---|---|
| UNESCO Declaration of Principles on Tolerance | tolerance is a duty that upholds human rights, pluralism, democracy and the rule of law via predicate surface "statesThat" ⓘ |
| Semantic Versioning specification | increment MAJOR version when making incompatible API changes ⓘ |
| Semantic Versioning specification | increment MINOR version when adding functionality in a backward compatible manner ⓘ |
| Semantic Versioning specification | increment PATCH version when making backward compatible bug fixes ⓘ |
| Semantic Versioning specification | build metadata does not affect version precedence ⓘ |
| Semantic Versioning specification | pre-release versions have lower precedence than associated normal versions ⓘ |
| Letter on Humanism | language is the house of Being ⓘ |
| Haldane’s rule | the heterogametic sex is more likely to be absent, rare, or sterile in hybrids ⓘ |
| Warrant and Proper Function | a belief has warrant if produced by properly functioning cognitive faculties ⓘ |
| Warrant and Proper Function | properly functioning cognitive faculties must be operating according to a design plan ⓘ |
| Warrant and Proper Function | the design plan must be successfully aimed at truth ⓘ |
| Warrant and Proper Function | cognitive faculties must function in an appropriate epistemic environment ⓘ |
| Warrant and Proper Function | warrant comes in degrees ⓘ |
| Warrant and Proper Function | knowledge is warranted true belief with sufficient degree of warrant ⓘ |
| Rule I | the aim of studies should be to direct the mind to form true and sound judgments ⓘ |
| Tinbergen rule | number of independent policy instruments must be at least as large as number of independent policy targets ⓘ |
| 1 Corinthians 14 | "Let all things be done decently and in order" via predicate surface "famouslyStates" ⓘ |
| complete class theorem in decision theory | every admissible decision rule belongs to some complete class ⓘ |
| complete class theorem in decision theory | no decision rule outside a complete class is better in terms of risk for all parameter values ⓘ |
| Constitution of Iraq |
Islam
ⓘ
surface form:
Islam is a foundation source of legislation
|
| Constitution of Iraq | no law may be enacted that contradicts the established provisions of Islam ⓘ |
| Constitution of Iraq | no law may be enacted that contradicts the principles of democracy ⓘ |
| Constitution of Iraq | no law may be enacted that contradicts the basic rights and freedoms outlined in the Constitution ⓘ |
| Chebotarev density theorem | density of primes with Frobenius in a conjugacy class C equals |C| / |G| where G is the Galois group via predicate surface "statesThat" ⓘ |
| Chapter V of the United Nations Charter | United Nations Security Council acts on behalf of the Members of the United Nations via predicate surface "statesThat" ⓘ |
| Cauchy convergence criterion | a sequence converges if and only if it is Cauchy in a complete metric space via predicate surface "statesThat" ⓘ |
| Cauchy convergence criterion | for every epsilon greater than zero there exists an N such that for all m,n greater than or equal to N the distance between x_m and x_n is less than epsilon via predicate surface "statesThat" ⓘ |
| Cauchy residue theorem | the integral of a function around a closed contour equals 2πi times the sum of residues inside the contour via predicate surface "statesThat" ⓘ |
| Hasse norm theorem |
Hasse norm theorem
self-linksurface differs
ⓘ
surface form:
for a cyclic extension L/K of global fields, an element of K is a global norm from L if and only if it is a local norm at every place of K
|
| The Star | that revelation is inspired by God ⓘ |
| Combahee River Collective Statement | liberation of Black women would mean liberation of all people ⓘ |
| Lusser's law | the reliability of a series system equals the product of the reliabilities of its individual components ⓘ |
| Lusser's law of series system reliability | the reliability of a series system equals the product of the reliabilities of its components via predicate surface "statesThat" ⓘ |
| Kelvin–Planck statement of the second law of thermodynamics | no heat engine operating in a cycle can convert all the heat absorbed from a single reservoir into work ⓘ |
| Kelvin–Planck statement of the second law of thermodynamics | a cyclic heat engine must reject some heat to a lower-temperature reservoir if it produces work ⓘ |
| Plancherel theorem for real reductive groups | L2(G) decomposes as a direct integral of irreducible unitary representations ⓘ |
| Plancherel theorem for real reductive groups | the left regular representation is unitarily equivalent to a direct integral of irreducibles with multiplicities given by Plancherel measure ⓘ |
| Serre duality |
Serre duality
self-linksurface differs
ⓘ
surface form:
for a smooth projective variety X over a field k and a coherent sheaf F on X, H^i(X,F) is dual to H^{n-i}(X,F^∨ ⊗ ω_X)
|
|
apostolic constitution Universi Dominici Gregis
surface form:
Universi Dominici Gregis
|
simoniacal election of a pope is nevertheless valid if the elected accepts ⓘ |
| geometrization conjecture | every closed 3-manifold can be decomposed into pieces that admit canonical geometric structures via predicate surface "statesThat" ⓘ |
| geometrization conjecture | each piece of a decomposed closed 3-manifold admits one of eight model geometries via predicate surface "statesThat" ⓘ |
| prime number theorem | the number of primes less than x is asymptotic to x / log x ⓘ |
| Koebe quarter theorem | any univalent holomorphic function on the unit disk maps it onto a domain containing a disk of radius at least one quarter ⓘ |
| Quran 49:13 | the most noble before God is the most righteous ⓘ |
| Gelfand representation of commutative C*-algebras | every commutative unital C*-algebra is isometrically *-isomorphic to C(X) for some compact Hausdorff space X via predicate surface "statesThat" ⓘ |
| Gelfand–Naimark theorem | every commutative C*-algebra is isometrically *-isomorphic to C0(X) for some locally compact Hausdorff space X ⓘ |
| Gelfand–Naimark theorem | every C*-algebra admits a faithful *-representation on a Hilbert space ⓘ |
|
Lambertian reflectance law in optics
surface form:
Lambertian reflectance law
|
apparent brightness is proportional to cosine of incidence angle ⓘ |
|
Lambertian reflectance law in optics
surface form:
Lambertian reflectance law
|
surface appears equally bright from all viewing angles ⓘ |
| Resolution I.10 | abstinence is right for those not called to marriage ⓘ |