states
P34
predicate
Indicates that an entity formally declares, expresses, or asserts a fact, opinion, or condition about another entity or situation.
Aliases (2)
- statesThat ×47
- statesResponsibilityTo ×7
Sample triples (149)
| Subject | Object |
|---|---|
| 2 Chronicles 36 | land enjoyed its sabbaths during the exile → |
| 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 → |
| Abel–Ruffini theorem | there is no general solution in radicals for polynomial equations of degree at least five → |
| Ad extirpanda | heretics are to be punished as thieves and robbers of souls → |
| Antarctic Treaty | no acts or activities while the treaty is in force shall constitute a basis for asserting, supporting, or denying a claim to territorial sovereignty in Antarctica → |
| Article 239 of the Constitution of India | every Union territory shall be administered by the President ("statesThat") → |
| Article 239 of the Constitution of India | the President may administer a Union territory through an Administrator ("statesThat") → |
| Article 43 of the Constitution of Japan | All members of both Houses shall be representatives of all the people → |
| Article 43 of the Constitution of Japan | Both Houses shall consist of elected members → |
| Article 51 of the United Nations Charter | measures taken in self-defense shall not in any way affect the authority and responsibility of the Security Council ("statesThat") → |
| Article I of the 1948 Genocide Convention | The Contracting Parties confirm that genocide, whether committed in time of peace or in time of war, is a crime under international law → |
| Article I of the 1948 Genocide Convention | The Contracting Parties undertake to prevent and to punish genocide → |
| Article VII of the United States Constitution | that the ratification of the conventions of nine states shall be sufficient for the establishment of the Constitution → |
| Basic Law of the Hong Kong Special Administrative Region | capitalist system and way of life shall remain unchanged for 50 years after 1997 → |
| Basic Law of the Hong Kong Special Administrative Region | socialist system and policies shall not be practised in Hong Kong → |
| Beyond Freedom and Dignity | that cultural evolution can be guided by behavioral technology → |
| Big Bang cosmology | the universe expanded from an extremely hot and dense initial state → |
| Book II (An Essay Concerning Human Understanding) | all ideas are derived from sensation or reflection → |
| Born rule | the probability of obtaining a measurement outcome is given by the squared modulus of the corresponding amplitude in the wavefunction ("statesThat") → |
| Cameron–Martin theorem | translation by a vector outside the Cameron–Martin space makes the Gaussian measure mutually singular with the original ("statesThat") → |
| Cameron–Martin theorem | translation by an element of the Cameron–Martin space preserves equivalence class of a Gaussian measure ("statesThat") → |
| Cantor’s theorem | for any set S, the power set P(S) has strictly greater cardinality than S → |
| Cantor’s theorem | for every set S, |S| < |P(S)| → |
| Cantor’s theorem | there is no surjection from a set S onto its power set P(S) → |
| Declaration and Resolves of the First Continental Congress | Parliament may regulate external commerce for the empire → |
| Declaration of Rights (Massachusetts) | all people are born free and equal → |
| Declaration on Atrocities | major war criminals whose offenses have no particular geographical localization will be punished by joint decision of the Allies → |
| Declaration on Atrocities | perpetrators will be sent back to the countries where their crimes were committed for trial → |
| Dignitatis Humanae | religious freedom must be protected as a civil right → |
| Dignitatis Humanae | religious freedom must be recognized in constitutional law → |
| Doob–Meyer decomposition | every suitable submartingale can be written as the sum of a martingale and a predictable increasing process ("statesThat") → |
| Fourier's law of heat conduction | heat flux is proportional to the negative temperature gradient → |
| French Declaration of the Rights of Man and of the Citizen | men are born and remain free and equal in rights → |
| French Declaration of the Rights of Man and of the Citizen | sovereignty resides essentially in the nation → |
| Galilean relativity | laws of mechanics are the same in all inertial frames → |
| Gauss's law for magnetism | the net magnetic flux through any closed surface is zero → |
| Gaussian law of error | measurement errors tend to follow a normal distribution ("statesThat") → |
| Gauss–Markov theorem | under certain assumptions the ordinary least squares estimator is the best linear unbiased estimator of the regression coefficients ("statesThat") → |
| Girsanov theorem | a process that is Brownian motion under one measure becomes a Brownian motion with drift under another equivalent measure ("statesThat") → |
| Girsanov theorem | under an equivalent change of measure the Brownian motion acquires a drift term ("statesThat") → |
| Hilbert basis theorem | If R is a Noetherian ring then the polynomial ring R[x] is Noetherian → |
| Hilbert basis theorem | If R is a Noetherian ring then the polynomial ring R[x_1,\dots,x_n] is Noetherian for any finite n → |
| Hilbert’s syzygy theorem | every finitely generated module over a polynomial ring in n variables over a field has a free resolution of length at most n ("statesThat") → |
| Hilbert’s syzygy theorem | projective dimension of a finitely generated module over a polynomial ring in n variables over a field is at most n ("statesThat") → |
| Insular Cases doctrine | only fundamental constitutional rights apply in unincorporated territories unless extended by Congress ("statesThat") → |
| Insular Cases doctrine | the Constitution applies ex proprio vigore in incorporated territories ("statesThat") → |
| Israel–Carter–Robinson uniqueness theorems | a static, asymptotically flat electrovacuum black hole is the Reissner–Nordström solution ("statesThat") → |
| Israel–Carter–Robinson uniqueness theorems | a static, asymptotically flat vacuum black hole is the Schwarzschild solution ("statesThat") → |
| Israel–Carter–Robinson uniqueness theorems | a stationary, axisymmetric, asymptotically flat electrovacuum black hole is a Kerr–Newman solution ("statesThat") → |
| Janet–Cartan theorem | any n-dimensional real-analytic Riemannian manifold can be locally isometrically embedded into some Euclidean space R^N → |
| Kirchhoff's first law of spectroscopy | a hot, dense gas or solid object produces a continuous spectrum → |
| Kirchhoff's second law of spectroscopy | a hot, low-density gas produces a spectrum of bright emission lines → |
| 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 → |
| Lambeth 1998 Resolution I.10 on Human Sexuality | abstinence is right for those not called to marriage → |
| Lax equivalence theorem | for a well-posed linear initial value problem, stability and consistency of a finite difference scheme imply convergence → |
| Nash embedding theorem | every smooth Riemannian manifold admits an isometric embedding into some Euclidean space ("statesThat") → |
| Newton's first law of motion | an object at rest remains at rest unless acted upon by a net external force → |
| Newton's first law of motion | an object in uniform straight-line motion continues in that motion unless acted upon by a net external force → |
| Newton's second law of motion | net force on a body equals the time rate of change of its momentum ("statesThat") → |
| Noether normalization lemma | every finitely generated k-algebra is integral over a polynomial k-subalgebra → |
| Noether normalization lemma | if A is a finitely generated k-algebra then there exist algebraically independent elements y1,…,yd in A such that A is integral over k[y1,…,yd] → |
| Noether's isomorphism theorems | homomorphic image of a structure is isomorphic to a quotient by the kernel → |
| Nuremberg Principles | following orders does not relieve from responsibility per se → |
| Nuremberg Principles | head of state immunity does not relieve from responsibility → |
| Nuremberg Principles | international crimes are punishable under international law → |
| Nuremberg Principles | international law imposes duties on individuals → |
| Nuremberg Principles | official position does not relieve from responsibility → |
| Nuremberg Principles | violation of international duties by individuals is punishable → |
| On New Democracy | revolution in colonial and semi-colonial countries has two stages → |
| On Practice | perceptual knowledge develops into rational knowledge → |
| On Practice | rational knowledge must return to practice → |
| Our Credo | communities ("statesResponsibilityTo") → |
| Our Credo | customers ("statesResponsibilityTo") → |
| Our Credo | doctors ("statesResponsibilityTo") → |
| Our Credo | employees ("statesResponsibilityTo") → |
| Our Credo | nurses ("statesResponsibilityTo") → |
| Our Credo | patients ("statesResponsibilityTo") → |
| Our Credo | shareholders ("statesResponsibilityTo") → |
| PCP theorem | NP equals PCP(log n, 1) ("statesThat") → |
| PCP theorem | every language in NP has a probabilistically checkable proof verifiable by reading only a constant number of bits of the proof ("statesThat") → |
| Pastor aeternus | ex cathedra definitions of the Roman Pontiff are irreformable of themselves and not from the consent of the Church ("statesThat") → |
| Pastor aeternus | the Roman Pontiff has full and supreme power of jurisdiction over the whole Church ("statesThat") → |
| Pastor aeternus | the Roman Pontiff has ordinary and immediate jurisdiction over all the faithful ("statesThat") → |
| Pastor aeternus | the Roman Pontiff possesses infallibility when speaking ex cathedra ("statesThat") → |
| Pauli exclusion principle | no two identical fermions can occupy the same quantum state simultaneously → |
| Philippians 2:10–11 | every knee should bow in heaven and on earth and under the earth → |
| Philippians 2:10–11 | every tongue confess that Jesus Christ is Lord, to the glory of God the Father → |
| Q source hypothesis | Q source is now lost → |
| Q source hypothesis | Q source was not used by the Gospel of Mark → |
| Schwarzschild criterion | a layer is convectively stable if the radiative temperature gradient is less than the adiabatic temperature gradient ("statesThat") → |
| Schwarzschild criterion | a layer is convectively unstable if the radiative temperature gradient exceeds the adiabatic temperature gradient ("statesThat") → |
| Science, The Endless Frontier | scientific progress is essential to economic prosperity → |
| Science, The Endless Frontier | scientific progress is essential to national health → |
| Science, The Endless Frontier | scientific progress is essential to national security → |
| 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 ("statesThat") → |
| Special Report on Global Warming of 1.5 °C | global net anthropogenic CO2 emissions must decline by about 45% from 2010 levels by 2030 to limit warming to 1.5 °C → |
| Special Report on Global Warming of 1.5 °C | global net anthropogenic CO2 emissions must reach net zero around 2050 to limit warming to 1.5 °C → |
| Special Report on Global Warming of 1.5 °C | limiting warming to 1.5 °C requires rapid and far-reaching transitions in energy, land, urban and infrastructure systems → |
| Special Report on Global Warming of 1.5 °C | limiting warming to 1.5 °C requires rapid and far-reaching transitions in industrial systems → |
| Stefan–Boltzmann law | the total energy radiated per unit surface area of a black body is proportional to the fourth power of its absolute temperature → |
| Sublimis Deus | Indigenous peoples should not be robbed or enslaved even if they are outside the faith → |
| Summorum Pontificum | Missal of 1962 was never abrogated → |
| Surah Al-Bayyinah | those who believe and do righteous deeds are the best of creation → |
| Surah Al-Bayyinah | those who disbelieve from the People of the Book and the polytheists are in the fire of Hell → |
| Surah Al-Buruj | God encompasses the disbelievers → |
| Tarski's undefinability theorem | no arithmetically definable predicate in the language of arithmetic can coincide with the truth predicate for arithmetic ("statesThat") → |
| Tarski's undefinability theorem | there is no formula in the language of arithmetic that defines the set of all true arithmetic sentences ("statesThat") → |
| Tarski's undefinability theorem | truth for the language of a sufficiently strong theory cannot be defined within that same language ("statesThat") → |
| The Art of Fiction | that quality of execution is more important than subject matter → |
| The Art of Fiction | that the novel should represent life as it is → |
| The Art of Fiction | that the novelist must be free to choose any subject → |
| The Art of Fiction | that there are no prescriptions for what a novel must be about → |
| The Federalist No. 33 | laws of the Union made in pursuance of the Constitution are supreme → |
| The Gospel of Wealth | inequality is an inevitable result of capitalism → |
| The Logic of Scientific Discovery | scientific theories can be conclusively falsified → |
| The Logic of Scientific Discovery | scientific theories can never be conclusively verified → |
| Theorema Egregium | Gaussian curvature is independent of the embedding of the surface in Euclidean space ("statesThat") → |
| Theorema Egregium | Gaussian curvature of a surface is an intrinsic invariant ("statesThat") → |
| Thomas rules for multistationarity and oscillations | the existence of a negative feedback circuit is a necessary condition for sustained oscillations ("statesThat") → |
| Thomas rules for multistationarity and oscillations | the existence of a positive feedback circuit is a necessary condition for multistationarity ("statesThat") → |
| Traditionis custodes | the liturgical books promulgated by Paul VI and John Paul II are the unique expression of the lex orandi of the Roman Rite → |
| UN Security Council Resolution 686 | that the ceasefire is conditional on Iraqi compliance with the resolution → |
| UN Security Council Resolution 687 | that a formal ceasefire would come into effect upon Iraqi acceptance of the resolution → |
| United Nations Security Council Resolution 1194 | that the Council will not conduct the review of sanctions until Iraq resumes full cooperation with inspections → |
| United Nations Security Council Resolution 1441 | Iraq has been and remains in material breach of its obligations → |
| 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 → |
| United States v. Virginia (1996) majority opinion | gender classifications must serve important governmental objectives and be substantially related to achievement of those objectives → |
| Verner's law | Proto-Indo-European *p *t *k *kʷ after an unaccented syllable became Proto-Germanic *b *d *g *gʷ (voiced stops/fricatives) ("statesThat") → |
| Verner's law | Proto-Indo-European voiceless stops became voiced fricatives when not immediately preceded by the word accent ("statesThat") → |
| Whitney embedding theorem | every smooth n-dimensional manifold admits an embedding into R^{2n} → |
| Whitney embedding theorem | every smooth n-dimensional manifold admits an immersion into R^{2n-1} → |
| Wick’s theorem | a time-ordered product of free fields can be written as a sum of normal-ordered products with all possible contractions ("statesThat") → |
| Wigner–Eckart theorem | matrix elements of irreducible tensor operators factorize into a reduced matrix element and a purely geometric factor ("statesThat") → |
| Wigner’s theorem on symmetry transformations | any symmetry of transition probabilities is implemented by a unitary or antiunitary operator ("statesThat") → |
| all-or-none principle in nerve excitation | a nerve fiber responds with a full action potential once threshold is reached ("statesThat") → |
| all-or-none principle in nerve excitation | action potential amplitude is not graded with stimulus strength above threshold ("statesThat") → |
| all-or-none principle in nerve excitation | subthreshold stimuli do not produce an action potential ("statesThat") → |
| binomial theorem | (a + b)^n = Σ_{k=0}^n C(n,k) a^{n-k} b^k → |
| black hole no-hair theorem | a stationary black hole is completely characterized by a small set of macroscopic parameters ("statesThat") → |
| central limit theorem | the standardized sum of many independent identically distributed random variables converges in distribution to a normal distribution ("statesThat") → |
| law of universal gravitation | every mass attracts every other mass with a gravitational force ("statesThat") → |
| multinomial theorem | (x1 + x2 + ... + xm)^n = Σ_{k1+...+km=n} (n!/(k1!...km!)) x1^{k1}...xm^{km} → |
| relativity of simultaneity | events simultaneous in one inertial frame may not be simultaneous in another → |
| special relativity | laws of physics are the same in all inertial frames → |
| special relativity | speed of light in vacuum is the same for all inertial observers → |
| von Neumann measurement scheme | measurement outcomes correspond to eigenvalues of observables → |
| von Neumann measurement scheme | post-measurement state is eigenstate associated with observed eigenvalue → |
| Über die Anzahl der Primzahlen unter einer gegebenen Grösse | explicit formula relating π(x) to zeros of ζ(s) → |