states

P34
predicate

Indicates that an entity formally declares, expresses, or asserts a fact, opinion, or condition about another entity or situation.

Try in SPARQL

All labels observed (11)

Label Occurrences
states canonical 557
statesThat 183
statesResponsibilityTo 7

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
Texas–Texas A&M football rivalry Lone Star State football supremacy via predicate surface "stateBraggingRights" ⓘ
Runge approximation theorem holomorphic functions on certain domains can be uniformly approximated by rational functions with poles outside those domains via predicate surface "statesThat" ⓘ
Runge approximation theorem if K is a compact subset of C with connected complement and f is holomorphic on an open set containing K then f can be uniformly approximated on K by polynomials via predicate surface "statesThat" ⓘ
Runge approximation theorem if K is a compact subset of C and A is a set containing at most one point from each component of C \ K then every function holomorphic on a neighborhood of K can be uniformly approximated on K by rational functions with poles in A via predicate surface "statesThat" ⓘ
Malachi 1:2–5 (God’s love for Israel contrasted with Esau)
surface form: Malachi 1:2–5
“They may build, but I will demolish” about Edom ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto is a neutral language for international communication ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto does not belong to any particular nation or people NERFINISHED ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto is a tool for fostering international understanding NERFINISHED ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto is not tied to any political movement ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto is not tied to any religious movement NERFINISHED ⓘ
Deklaracio pri la esenco de la Esperantismo Esperanto is not tied to any national movement ⓘ
Freemasonry and the Catholic Church
surface form: Declaration on Masonic Associations (1983)
Masonic principles are irreconcilable with the doctrine of the Church ⓘ
Freemasonry and the Catholic Church
surface form: Declaration on Masonic Associations (1983)
Catholics enrolled in Masonic associations are in a state of grave sin ⓘ
Freemasonry and the Catholic Church
surface form: Declaration on Masonic Associations (1983)
Catholics in Masonic associations may not receive Holy Communion ⓘ
Hahn decomposition theorem every signed measure space admits a decomposition into a positive set and a negative set via predicate surface "statesThat" ⓘ
Hahn decomposition theorem there exists a measurable set P such that the signed measure is nonnegative on all measurable subsets of P via predicate surface "statesThat" ⓘ
Hahn decomposition theorem there exists a measurable set N such that the signed measure is nonpositive on all measurable subsets of N via predicate surface "statesThat" ⓘ
Hahn decomposition theorem the positive set and negative set form a partition of the underlying space up to a null set via predicate surface "statesThat" ⓘ
Inquilab derives from Arabic-Persian word for revolution the term "Inquilab" comes from an Arabic-Persian word meaning "revolution" via predicate surface "statesThat" ⓘ
Leviticus 17 the life of the flesh is in the blood ⓘ
Schur–Weyl duality actions of GL(V) and S_n on V^{\otimes n} commute via predicate surface "statesThat" ⓘ
Schur–Weyl duality images of GL(V) and S_n actions on V^{\otimes n} are mutual centralizers via predicate surface "statesThat" ⓘ
Peter–Weyl theorem the matrix coefficients of irreducible unitary representations of a compact group are dense in the space of continuous functions on the group via predicate surface "statesThat" ⓘ
Peter–Weyl theorem the regular representation of a compact group decomposes as a Hilbert space direct sum of finite-dimensional irreducible unitary representations via predicate surface "statesThat" ⓘ
Peter–Weyl theorem the irreducible unitary representations of a compact group occur with finite multiplicity in the regular representation via predicate surface "statesThat" ⓘ
speedup theorem for some problems and some complexity measures, every algorithm can be significantly improved upon ⓘ
Minkowski’s theorem on convex sets Any centrally symmetric convex body in Rn with volume greater than 2n times the determinant of a lattice contains a nonzero lattice point ⓘ
Gibbs paradox entropy of mixing appears nonzero for identical gases in classical treatment ⓘ
Thurston’s classification of surface diffeomorphisms every mapping class of a compact surface is periodic, reducible, or pseudo-Anosov via predicate surface "statesThat" ⓘ
Baire category theorem Every complete metric space is a Baire space ⓘ
Baire category theorem Every locally compact Hausdorff space is a Baire space ⓘ
Baire category theorem A nonempty complete metric space cannot be expressed as a countable union of nowhere dense subsets ⓘ
Baire category theorem A nonempty locally compact Hausdorff space cannot be expressed as a countable union of nowhere dense subsets ⓘ
Playfair's axiom Through a point not on a given line there is exactly one line parallel to the given line ⓘ
Sievers' law that *y and *w appear as consonantal after light syllables ⓘ
Sievers' law that *y and *w appear as vocalic after heavy syllables ⓘ
Ertel potential vorticity theorem potential vorticity is materially conserved for inviscid adiabatic flow ⓘ
Ezekiel 11 God will remove detestable things and abominations ⓘ
Ezekiel 11 God will give one heart ⓘ
Ezekiel 11 God will remove the heart of stone ⓘ
Ezekiel 11 God will give a heart of flesh ⓘ
Ezekiel 11 people will walk in God’s statutes ⓘ
Ezekiel 11 people will keep and do God’s ordinances ⓘ
Ezekiel 11 they shall be God’s people and He will be their God ⓘ
Taniyama–Shimura–Weil conjecture isogeny classes of elliptic curves over Q and newforms of weight 2 with rational Fourier coefficients via predicate surface "statesCorrespondenceBetween" ⓘ
Chinese remainder theorem if moduli are pairwise coprime then a simultaneous solution exists ⓘ
Chinese remainder theorem if moduli are pairwise coprime then the solution is unique modulo the product of the moduli ⓘ
second fundamental theorem of welfare economics any Pareto efficient allocation can be decentralized as a competitive equilibrium given suitable lump-sum transfers of initial endowments ⓘ
Sturtevant’s Law Proto-Indo-European voiceless stops are reflected as geminate consonants in Hittite orthography via predicate surface "statesThat" ⓘ
Sturtevant’s Law Proto-Indo-European voiced stops are reflected as single consonants in Hittite orthography via predicate surface "statesThat" ⓘ