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
Dia do Fico Dom Pedro refused to obey the Portuguese Cortes’ order to return to Lisbon ⓘ
Pythagorean theorem Pythagorean theorem self-linksurface differs ⓘ
surface form: In a right-angled triangle, the square of the hypotenuse equals the sum of the squares of the other two sides.
Banach inverse mapping theorem If T:X→Y is a bijective bounded linear operator between Banach spaces, then T^{-1}:Y→X is bounded and linear via predicate surface "statedAs" ⓘ
principle of least action physical trajectory makes the action stationary via predicate surface "statedAs" ⓘ
Fermat's Last Theorem There are no three positive integers x, y, z that satisfy x^n + y^n = z^n for any integer n > 2 ⓘ
Fermat's little theorem If p is a prime and a is an integer not divisible by p, then a^(p−1) ≡ 1 (mod p). ⓘ
Fermat's little theorem For any integer a and prime p, a^p ≡ a (mod p). ⓘ
Fermat's theorem on sums of two squares sum of two perfect squares via predicate surface "statementAbout" ⓘ
Fermat polygonal number theorem every positive integer can be expressed as a sum of a fixed number of polygonal numbers of a given order ⓘ
Profumo affair John Profumo misled the House of Commons about his relationship with Christine Keeler ⓘ
Profumo affair John Profumo ⓘ
surface form: John Profumo resigned from the government and Parliament in 1963
Newton's third law of motion For every action, there is an equal and opposite reaction via predicate surface "statedAs" ⓘ
Avogadro's law Equal volumes of gases at the same temperature and pressure contain equal numbers of molecules via predicate surface "statedAs" ⓘ
Lagrange's theorem in group theory For a finite group G and a subgroup H of G, the order of H divides the order of G ⓘ
Lagrange's four-square theorem Every natural number can be expressed as the sum of four integer squares ⓘ
Poincaré recurrence theorem Poincaré recurrence theorem self-linksurface differs ⓘ
surface form: In a measure-preserving dynamical system with finite total measure, almost every point of a measurable set returns arbitrarily close to its initial position infinitely often.
Wiener–Khinchin theorem the power spectral density of a wide-sense stationary process is the Fourier transform of its autocorrelation function ⓘ
Wiener–Khinchin theorem the autocorrelation function of a wide-sense stationary process is the inverse Fourier transform of its power spectral density ⓘ
Cantor–Bernstein–Schröder theorem If there exists an injective function from set A to set B and an injective function from set B to set A, then there exists a bijective function between A and B. ⓘ
Nyquist theorem A band-limited continuous-time signal can be perfectly reconstructed from its samples if the sampling frequency is greater than twice the highest frequency present in the signal via predicate surface "statedAs" ⓘ
law of conservation of mass mass is neither created nor destroyed in a closed system via predicate surface "statedAs" ⓘ
Alexandrov–Hausdorff theorem Every analytic subset of a Polish space is the continuous image of Baire space ⓘ
Alexandrov–Hausdorff theorem A subset of a Polish space is analytic if and only if it is the continuous image of Baire space ⓘ
third law of thermodynamics The entropy of a perfect crystal approaches zero as its temperature approaches absolute zero. via predicate surface "statedAs" ⓘ
Noether’s theorem in algebraic geometry (Noether’s AF+BG theorem)
surface form: Noether’s AF+BG theorem
polynomials vanishing on the intersection of two plane curves via predicate surface "statementAbout" ⓘ
Noether’s theorem in algebraic geometry (Noether’s AF+BG theorem)
surface form: Noether’s AF+BG theorem
linear combinations of defining equations of curves via predicate surface "statementAbout" ⓘ
The Right of Equal Freedom Every man has freedom to do all that he wills, provided he infringes not the equal freedom of any other man via predicate surface "statedAs" ⓘ
Malta Summit George H. W. Bush–Gorbachev summits ⓘ
surface form: Bush and Gorbachev declared that the era of U.S.–Soviet confrontation was over
Lee Sedol no longer felt he could be the absolute best because of AI via predicate surface "stated" ⓘ
Weekend
surface form: Weekend (1967 film)
announced as the end of cinema by Godard in publicity via predicate surface "directorStatement" ⓘ
Hasse principle a Diophantine equation has a rational solution if and only if it has solutions over all completions of the rationals ⓘ
Anthony Darwin expressed feeling betrayed by his parents after discovering the fraud via predicate surface "publicStatement" ⓘ
Anthony Darwin stated that he had been led to believe his father was dead via predicate surface "publicStatement" ⓘ
Anthony Darwin said he had no prior knowledge of the insurance fraud via predicate surface "publicStatement" ⓘ
Theodore Sturgeon
surface form: Sturgeon's Law
Ninety percent of everything is crud. ⓘ
Auslander–Buchsbaum formula Auslander–Buchsbaum formula self-linksurface differs ⓘ
surface form: For a Noetherian local ring (R, m) and a finitely generated R-module M of finite projective dimension, pd_R(M) + depth_R(M) = depth(R).
Joint Resolution of Congress for the recognition of the independence of the people of Cuba (1898) that the United States disclaims any disposition or intention to exercise sovereignty, jurisdiction, or control over Cuba via predicate surface "stated" ⓘ
Joint Resolution of Congress for the recognition of the independence of the people of Cuba (1898) that the United States asserts its determination to leave the government and control of the island to its people once pacification is accomplished via predicate surface "stated" ⓘ
Open-Closed Principle software entities should be open for extension but closed for modification via predicate surface "statedAs" ⓘ
de Bruijn–Erdős theorem Every infinite graph with finite chromatic number has a finite subgraph with the same chromatic number ⓘ
Cauchy interlacing theorem eigenvalues of a k×k principal submatrix interlace those of the n×n matrix with n≥k via predicate surface "typicalStatement" ⓘ
Cauchy integral formula If f is holomorphic on an open set containing a simple closed contour Γ and its interior, then for any z0 in the interior, f(z0) = (1/(2πi)) ∮_Γ f(z)/(z−z0) dz ⓘ
Constantinople Convention of 1888 Suez Canal via predicate surface "stated" ⓘ
surface form: Suez Canal should never be subjected to blockade
Constantinople Convention of 1888 Suez Canal should not be subject to the exercise of the right of war via predicate surface "stated" ⓘ
Constantinople Convention of 1888 Suez Canal should not be subject to the exercise of the right of war via predicate surface "stated" ⓘ
surface form: Suez Canal should not be subject to acts of hostility
Constantinople Convention of 1888 Suez Canal via predicate surface "stated" ⓘ
surface form: Suez Canal should not be subject to any act having for its object to obstruct free navigation
generalized Riemann hypothesis Dirichlet L-functions via predicate surface "statementAbout" ⓘ
generalized Riemann hypothesis zeros of L-functions via predicate surface "statementAbout" ⓘ
uniformization theorem Every simply connected Riemann surface is conformally equivalent to the Riemann sphere, the complex plane, or the unit disk. ⓘ
Dirichlet conditions on any period the function has a finite number of discontinuities and extrema via predicate surface "typicalStatement" ⓘ