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
Basic Law of the Hong Kong Special Administrative Region capitalist system and way of life shall remain unchanged for 50 years after 1997 ⓘ
Cameron–Martin theorem translation by an element of the Cameron–Martin space preserves equivalence class of a Gaussian measure via predicate surface "statesThat" ⓘ
Cameron–Martin theorem translation by a vector outside the Cameron–Martin space makes the Gaussian measure mutually singular with the original via predicate surface "statesThat" ⓘ
United Nations Security Council Resolution 688 that repression of Iraqi civilians threatens international peace and security ⓘ
United Nations Security Council Resolution 707 that Iraq's non-compliance constitutes a material breach of its obligations ⓘ
Scotland Act 2016 the Scottish Parliament and Scottish Government are not to be abolished except on the basis of a decision of the people of Scotland via predicate surface "statesThat" ⓘ
Abel–Ruffini theorem there is no general solution in radicals for polynomial equations of degree at least five ⓘ
Abel–Ruffini theorem no formula using only radicals and field operations exists that expresses the roots of a general quintic in terms of its coefficients ⓘ
United Nations Security Council Resolution 1194 that the Council will not conduct the review of sanctions until Iraq resumes full cooperation with inspections ⓘ
Surah Al-Buruj God encompasses the disbelievers ⓘ
Article 239 of the Constitution of India every Union territory shall be administered by the President via predicate surface "statesThat" ⓘ
Article 239 of the Constitution of India the President may administer a Union territory through an Administrator via predicate surface "statesThat" ⓘ
UN Security Council Resolution 686 that the ceasefire is conditional on Iraqi compliance with the resolution ⓘ
Thomas rules for multistationarity and oscillations the existence of a positive feedback circuit is a necessary condition for multistationarity via predicate surface "statesThat" ⓘ
Thomas rules for multistationarity and oscillations the existence of a negative feedback circuit is a necessary condition for sustained oscillations via predicate surface "statesThat" ⓘ
The Logic of Scientific Discovery scientific theories can never be conclusively verified ⓘ
The Logic of Scientific Discovery scientific theories can be conclusively falsified ⓘ
Surah Al-Bayyinah those who disbelieve from the People of the Book and the polytheists are in the fire of Hell ⓘ
Surah Al-Bayyinah those who believe and do righteous deeds are the best of creation ⓘ
Schwarzschild criterion a layer is convectively unstable if the radiative temperature gradient exceeds the adiabatic temperature gradient via predicate surface "statesThat" ⓘ
Schwarzschild criterion a layer is convectively stable if the radiative temperature gradient is less than the adiabatic temperature gradient via predicate surface "statesThat" ⓘ
Tarski's undefinability theorem truth for the language of a sufficiently strong theory cannot be defined within that same language via predicate surface "statesThat" ⓘ
Tarski's undefinability theorem there is no formula in the language of arithmetic that defines the set of all true arithmetic sentences via predicate surface "statesThat" ⓘ
Tarski's undefinability theorem no arithmetically definable predicate in the language of arithmetic can coincide with the truth predicate for arithmetic via predicate surface "statesThat" ⓘ
PCP theorem every language in NP has a probabilistically checkable proof verifiable by reading only a constant number of bits of the proof via predicate surface "statesThat" ⓘ
PCP theorem NP equals PCP(log n, 1) via predicate surface "statesThat" ⓘ
Fourier's law of heat conduction heat flux is proportional to the negative temperature gradient ⓘ
Born rule in quantum mechanics
surface form: Born rule
the probability of obtaining a measurement outcome is given by the squared modulus of the corresponding amplitude in the wavefunction via predicate surface "statesThat" ⓘ
Bull "Ad extirpanda"
surface form: Ad extirpanda
heretics are to be punished as thieves and robbers of souls ⓘ
Cantor’s theorem for any set S, the power set P(S) has strictly greater cardinality than S ⓘ
Cantor’s theorem there is no surjection from a set S onto its power set P(S) ⓘ
Cantor’s theorem for every set S, |S| < |P(S)| ⓘ
On New Democracy revolution in colonial and semi-colonial countries has two stages ⓘ
Declaration on Atrocities perpetrators will be sent back to the countries where their crimes were committed for trial ⓘ
Declaration on Atrocities major war criminals whose offenses have no particular geographical localization will be punished by joint decision of the Allies ⓘ
von Neumann measurement scheme measurement outcomes correspond to eigenvalues of observables ⓘ
von Neumann measurement scheme post-measurement state is eigenstate associated with observed eigenvalue ⓘ
Lax equivalence theorem for a well-posed linear initial value problem, stability and consistency of a finite difference scheme imply convergence ⓘ
insular cases doctrine
surface form: Insular Cases doctrine
the Constitution applies ex proprio vigore in incorporated territories via predicate surface "statesThat" ⓘ
insular cases doctrine
surface form: Insular Cases doctrine
only fundamental constitutional rights apply in unincorporated territories unless extended by Congress via predicate surface "statesThat" ⓘ
Big Bang cosmology the universe expanded from an extremely hot and dense initial state ⓘ
all-or-none principle in nerve excitation a nerve fiber responds with a full action potential once threshold is reached via predicate surface "statesThat" ⓘ
all-or-none principle in nerve excitation subthreshold stimuli do not produce an action potential via predicate surface "statesThat" ⓘ
all-or-none principle in nerve excitation action potential amplitude is not graded with stimulus strength above threshold via predicate surface "statesThat" ⓘ
Kirchhoff's three laws of spectroscopy
surface form: Kirchhoff's first law of spectroscopy
a hot, dense gas or solid object produces a continuous spectrum ⓘ
Kirchhoff's three laws of spectroscopy
surface form: Kirchhoff's second law of spectroscopy
a hot, low-density gas produces a spectrum of bright emission lines ⓘ
Kirchhoff's three laws of spectroscopy
surface form: Kirchhoff's third law of spectroscopy
a cool gas in front of a source of a continuous spectrum produces dark absorption lines in the continuous spectrum ⓘ
Wigner–Eckart theorem matrix elements of irreducible tensor operators factorize into a reduced matrix element and a purely geometric factor via predicate surface "statesThat" ⓘ
Wigner’s theorem on symmetry transformations any symmetry of transition probabilities is implemented by a unitary or antiunitary operator via predicate surface "statesThat" ⓘ
completeness theorem for first-order logic every logically valid first-order formula is provable from the axioms of first-order logic ⓘ