statement

P4223
predicate

Indicates that an entity makes, issues, or expresses a declarative assertion, claim, or remark about something.

Try in SPARQL

All labels observed (14)

Label Occurrences
statement canonical 141
statedAs 42
stated 18

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: statement
Generated description
Indicates that an entity makes, issues, or expresses a declarative assertion, claim, or remark about something.

Sample triples (258)

Subject Object
Feynman–Hellmann theorem For an eigenstate |n(λ)⟩ of H(λ) with eigenvalue E_n(λ), dE_n(λ)/dλ = ⟨n(λ)| ∂H(λ)/∂λ |n(λ)⟩ ⓘ
The Business of Happiness true success requires more than financial achievement via predicate surface "positionStatement" ⓘ
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" ⓘ
Ann Putnam Jr. that she had been deluded by Satan via predicate surface "statedInApology" ⓘ
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" ⓘ
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 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" ⓘ
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" ⓘ
Burali-Forti paradox The collection of all ordinal numbers cannot form a set without contradiction ⓘ
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 self-linksurface differs ⓘ
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}
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. ⓘ
Church–Turing thesis every effectively calculable function is computable by a Turing machine via predicate surface "statedAs" ⓘ
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" ⓘ
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. ⓘ
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. ⓘ
Gaston Vidal athletes' oath via predicate surface "madeStatement" ⓘ
surface form: Olympic Oath at the 1924 Summer Olympics in Paris
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 integrable on [−π,π], then its Fourier coefficients tend to 0 as the frequency index tends to infinity. ⓘ
Riemann–Lebesgue lemma If f is in L¹(ℝⁿ), then its Fourier transform tends to 0 at infinity. ⓘ
equipartition theorem each independent quadratic degree of freedom contributes an average energy of (1/2)kT via predicate surface "statedAs" ⓘ
No Compromise with Slavery slavery must be immediately abolished via predicate surface "positionStatement" ⓘ
No Compromise with Slavery no political compromise with slaveholders is acceptable via predicate surface "positionStatement" ⓘ
No Compromise with Slavery moral suasion is necessary to end slavery via predicate surface "positionStatement" ⓘ
No Compromise with Slavery the U.S. Constitution is complicit with slavery via predicate surface "positionStatement" ⓘ
No Compromise with Slavery participation in proslavery political structures is morally wrong via predicate surface "positionStatement" ⓘ
identity of indiscernibles no two distinct entities can share all the same properties via predicate surface "statedAs" ⓘ
Hölder inequality For conjugate exponents p and q, ||fg||₁ ≤ ||f||_p ||g||_q ⓘ
Hölder inequality For sequences (aᵢ) in ℓᵖ and (bᵢ) in ℓᵠ, Σ|aᵢ bᵢ| ≤ ||a||_p ||b||_q ⓘ
Hölder inequality For measurable f in Lᵖ and g in Lᵠ, ∫|fg| ≤ ||f||_p ||g||_q ⓘ
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 ⓘ
Joseph
surface form: Joe Namath
famously guaranteed a victory in Super Bowl III ⓘ
Clarke's three laws
surface form: First law of Clarke
When a distinguished but elderly scientist states that something is possible, he is almost certainly right. When he states that something is impossible, he is very probably wrong. ⓘ
Clarke's three laws
surface form: Second law of Clarke
The only way of discovering the limits of the possible is to venture a little way past them into the impossible. ⓘ
Clarke's three laws
surface form: Third law of Clarke
Any sufficiently advanced technology is indistinguishable from magic. ⓘ
Weierstrass approximation theorem Every continuous real-valued function on a closed and bounded interval can be uniformly approximated by polynomials. ⓘ
Weierstrass M-test If |f_n(x)| ≤ M_n for all x and ∑ M_n converges, then ∑ f_n(x) converges uniformly via predicate surface "typicalStatementForm" ⓘ
Ludwik Fleck scientific facts are shaped by social and historical conditions via predicate surface "stated" ⓘ
Ludwik Fleck what counts as a scientific fact depends on a thought collective via predicate surface "stated" ⓘ
Carathéodory’s theorem in convex geometry Any point in the convex hull of a subset of ℝⁿ can be written as a convex combination of at most n+1 points of that subset. ⓘ