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
Mott minimum metallic conductivity σ_min ≈ (0.02–0.05) e²/(ħ a) via predicate surface "statedAs" ⓘ
Ensa Cosby asserted that racism played a role in accusations against Bill Cosby ⓘ
Riyadh Conference of Syrian opposition groups called for a political transition in Syria via predicate surface "statementContent" ⓘ
Riyadh Conference of Syrian opposition groups called for a democratic, pluralistic Syria via predicate surface "statementContent" ⓘ
Riyadh Conference of Syrian opposition groups called for preservation of Syria’s territorial integrity via predicate surface "statementContent" ⓘ
Riyadh Conference of Syrian opposition groups rejected extremist organizations via predicate surface "statementContent" ⓘ
Radon’s theorem Every set of d+2 points in R^d can be partitioned into two disjoint subsets whose convex hulls intersect. ⓘ
Krein–Milman theorem Every compact convex subset of a locally convex topological vector space is the closed convex hull of its extreme points. ⓘ
Darboux theorem all symplectic manifolds are locally symplectomorphic to the standard symplectic space ⓘ
Day of the Fico Dom Pedro I declared that he would stay in Brazil ⓘ
Faltings' theorem Every algebraic curve of genus greater than one over a number field has only finitely many rational points ⓘ
Pythagorean identity in trigonometry sin²θ + cos²θ = 1 ⓘ
Robustness principle Be conservative in what you send, be liberal in what you accept via predicate surface "statedAs" ⓘ
Etherington reciprocity theorem d_L = (1+z)^2 d_A via predicate surface "statedAs" ⓘ
Wilson's theorem A positive integer n > 1 is prime if and only if (n − 1)! ≡ −1 (mod n). ⓘ
Wilson's theorem For a prime p, (p − 1)! ≡ −1 (mod p). ⓘ
Wilson's theorem If n is composite and n > 4, then (n − 1)! ≡ 0 (mod n). ⓘ
Major General Gordon Granger
surface form: General Order No. 3
that all slaves are free in Texas via predicate surface "stated" ⓘ
Erdős–Ko–Rado theorem For n ≥ 2k, the largest size of an intersecting family of k-subsets of an n-element set is C(n−1, k−1). ⓘ
Erdős–Turán conjecture Any subset of the positive integers whose sum of reciprocals diverges contains arbitrarily long arithmetic progressions. via predicate surface "statementInformal" ⓘ
Erdős–Straus conjecture For every integer n ≥ 2, the fraction 4/n can be expressed as a sum of three unit fractions. ⓘ
Euclid's postulates
surface form: First postulate
A straight line segment can be drawn joining any two points. ⓘ
Euclid's postulates
surface form: Second postulate
Any straight line segment can be extended indefinitely in a straight line. ⓘ
Euclid's postulates
surface form: Third postulate
Given any straight line segment, a circle can be drawn having the segment as radius and one endpoint as center. ⓘ
Euclid's postulates
surface form: Fourth postulate
All right angles are equal to one another. ⓘ
Euclid's postulates
surface form: Fifth postulate
If a straight line falling on two straight lines makes the interior angles on the same side less than two right angles, the two straight lines, if produced indefinitely, meet on that side on which the angles are less than two right angles. ⓘ
convolution theorem The Fourier transform of a convolution is the pointwise product of the Fourier transforms. ⓘ
convolution theorem The Fourier transform of a product is the convolution of the Fourier transforms, up to normalization factors. ⓘ
Sylvester–Gallai theorem For any finite set of points in the Euclidean plane not all on a single line, there exists a line that passes through exactly two of the points ⓘ
Betteridge's law of headlines Any headline that ends in a question mark can be answered by the word "no" via predicate surface "statedAs" ⓘ
Prophet Sulayman thanks Allah for His favor Prophet Sulayman says “O people, we have been taught the language of birds” via predicate surface "preludeStatement" ⓘ
Prophet Sulayman thanks Allah for His favor Prophet Sulayman acknowledges being given from all things via predicate surface "preludeStatement" ⓘ
Burnside's lemma the number of distinct configurations up to symmetry equals the average number of configurations fixed by each group element via predicate surface "statementInformal" ⓘ
no-cloning theorem it is impossible to create an identical copy of an arbitrary unknown quantum state via predicate surface "statedAs" ⓘ
Global Commission for the Certification of Smallpox Eradication smallpox had been eradicated as a naturally occurring disease via predicate surface "madeStatement" ⓘ
Hausdorff maximal principle Every partially ordered set has a maximal totally ordered subset via predicate surface "statedAs" ⓘ
Hausdorff maximal principle Every poset contains a maximal chain via predicate surface "statedAs" ⓘ
Treaty of Ganghwa (1876) Korea is an independent state equal in status to Japan via predicate surface "stated" ⓘ
Cauchy's theorem in group theory If a finite group G has order divisible by a prime p, then G contains an element of order p. ⓘ
Kac's lemma For a measure-preserving transformation on a probability space, the expected return time to a measurable set A of positive measure equals 1 divided by the measure of A. ⓘ
Rellich–Kondrachov compactness theorem the embedding W^{1,p}_0(Ω) → L^q(Ω) is compact for q < p* on a bounded domain Ω with suitable regularity via predicate surface "typicalStatement" ⓘ
rank–nullity theorem For a linear transformation T: V → W between finite-dimensional vector spaces, dim(V) = rank(T) + nullity(T). ⓘ
rank–nullity theorem For an m×n matrix A over a field, n = rank(A) + nullity(A). ⓘ
Cayley–Hamilton theorem every square matrix satisfies its own characteristic polynomial ⓘ
Lasker–Noether theorem on primary decomposition Every ideal in a Noetherian ring can be expressed as a finite intersection of primary ideals. ⓘ
Schreier refinement theorem Any two subnormal series of a group admit equivalent refinements. ⓘ
Kojo Annan denied wrongdoing in relation to the Oil-for-Food Programme ⓘ
Bernstein 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. via predicate surface "statedAs" ⓘ
Rydberg–Ritz combination principle spectral line frequency equals difference of two terms via predicate surface "statedAs" ⓘ
Rydberg–Ritz combination principle ν = T(m) − T(n) via predicate surface "statedAs" ⓘ