statement
P4223
predicate
Indicates that an entity makes, issues, or expresses a declarative assertion, claim, or remark about something.
Aliases (6)
- positionStatement ×8
- statedAs ×8
- stated ×3
- madeStatement ×1
- publicStatement ×1
- statedInApology ×1
Sample triples (41)
| Subject | Object |
|---|---|
| Ann Putnam Jr. | that she had been deluded by Satan via predicate surface "statedInApology" → |
| Brazzaville Conference | affirmed that the French Empire would remain united after the war → |
| Brazzaville Conference | denied the possibility of autonomy and secession in the near term → |
| Brazzaville Conference | recognized the need to improve the status of colonial subjects → |
| Brouwer fixed-point theorem | Every continuous function from a closed n-dimensional ball to itself has at least one fixed point. → |
| Brouwer fixed-point theorem | Every continuous function from a compact convex subset of R^n to itself has at least one fixed point. → |
| Burali-Forti paradox | The collection of all ordinal numbers cannot form a set without contradiction → |
| Church–Turing thesis | any effectively computable function can be computed by a general recursive function via predicate surface "statedAs" → |
| Church–Turing thesis | any effectively computable function can be computed by a λ‑definable function via predicate surface "statedAs" → |
| Church–Turing thesis | every effectively calculable function is computable by a Turing machine via predicate surface "statedAs" → |
| Feynman–Hellmann theorem | For an eigenstate |n(λ)⟩ of H(λ) with eigenvalue E_n(λ), dE_n(λ)/dλ = ⟨n(λ)| ∂H(λ)/∂λ |n(λ)⟩ → |
| Gaston Vidal |
athletes' oath
via predicate surface "madeStatement"
→
surface form: "Olympic Oath at the 1924 Summer Olympics in Paris"
|
|
Gauss’s lemma in number theory
surface form: "Gauss’s lemma (number theory)"
|
Let p be an odd prime and a an integer coprime to p. Consider the numbers a,2a,3a,…,((p−1)/2)a reduced modulo p into the interval (−p/2,p/2]. Let n be the number of these residues that are negative. Then (a|p) = (−1)^n, where (a|p) is the Legendre symbol. → |
| Hölder inequality | For conjugate exponents p and q, ||fg||₁ ≤ ||f||_p ||g||_q → |
| Hölder inequality | For measurable f in Lᵖ and g in Lᵠ, ∫|fg| ≤ ||f||_p ||g||_q → |
| Hölder inequality | For sequences (aᵢ) in ℓᵖ and (bᵢ) in ℓᵠ, Σ|aᵢ bᵢ| ≤ ||a||_p ||b||_q → |
| Kennan’s Long Telegram | Soviet leadership combined Marxist ideology with traditional Russian insecurity via predicate surface "stated" → |
| Kennan’s Long Telegram | the Soviet system had internal weaknesses via predicate surface "stated" → |
|
Kepler’s laws of planetary motion
surface form: "Kepler’s first law"
|
The orbit of every planet is an ellipse with the Sun at one of the foci. → |
|
Kepler’s laws of planetary motion
surface form: "Kepler’s second law"
|
A line segment joining a planet and the Sun sweeps out equal areas during equal intervals of time. → |
|
Kepler’s laws of planetary motion
surface form: "Kepler’s third law"
|
The square of a planet’s orbital period is proportional to the cube of the semi-major axis of its orbit. → |
| Minkowski inequality | For 1 ≤ p < ∞ and measurable functions f,g with finite L^p norms, ||f+g||_p ≤ ||f||_p + ||g||_p → |
| Minkowski inequality |
Minkowski inequality
→
surface form: "For sequences (x_k),(y_k) in ℓ^p, (∑|x_k + y_k|^p)^{1/p} ≤ (∑|x_k|^p)^{1/p} + (∑|y_k|^p)^{1/p}"
|
| No Compromise with Slavery | moral suasion is necessary to end slavery via predicate surface "positionStatement" → |
| No Compromise with Slavery | no political compromise with slaveholders is acceptable via predicate surface "positionStatement" → |
| No Compromise with Slavery | participation in proslavery political structures is morally wrong via predicate surface "positionStatement" → |
| No Compromise with Slavery | slavery must be immediately abolished via predicate surface "positionStatement" → |
| No Compromise with Slavery | the U.S. Constitution is complicit with slavery via predicate surface "positionStatement" → |
| Riemann mapping theorem | Every non-empty simply connected open subset of the complex plane that is not the entire plane is conformally equivalent to the open unit disk → |
| Riemann–Lebesgue lemma | If f is in L¹(ℝⁿ), then its Fourier transform tends to 0 at infinity. → |
| Riemann–Lebesgue lemma | If f is integrable on [−π,π], then its Fourier coefficients tend to 0 as the frequency index tends to infinity. → |
| Surgeon General’s Report on Smoking and Health | cigarette smoking is a health hazard of sufficient importance to warrant appropriate remedial action via predicate surface "stated" → |
| The Business of Happiness | pursuing happiness and meaning can enhance business performance via predicate surface "positionStatement" → |
| The Business of Happiness | serving others is a core component of lasting success via predicate surface "positionStatement" → |
| The Business of Happiness | true success requires more than financial achievement via predicate surface "positionStatement" → |
| abdication crisis of 1936 | Edward VIII declared he could not carry on the heavy burden of responsibility without the help and support of the woman he loved via predicate surface "publicStatement" → |
| categorical imperative | Act only according to that maxim whereby you can at the same time will that it should become a universal law via predicate surface "statedAs" → |
| categorical imperative | Act only so that the will can regard itself as at the same time making universal law through its maxims via predicate surface "statedAs" → |
| categorical imperative | So act that you use humanity, whether in your own person or in the person of any other, always at the same time as an end and never merely as a means via predicate surface "statedAs" → |
| equipartition theorem | each independent quadratic degree of freedom contributes an average energy of (1/2)kT via predicate surface "statedAs" → |
| identity of indiscernibles | no two distinct entities can share all the same properties via predicate surface "statedAs" → |