statement

P4223
predicate

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

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
L’Hôpital’s rule for indeterminate limits If lim_{x→a} |f(x)|=∞ and lim_{x→a} |g(x)|=∞ and f,g are differentiable near a with g′(x)≠0, then lim_{x→a} f(x)/g(x)=lim_{x→a} f′(x)/g′(x) when the latter limit exists or is infinite.
Hurwitz theorem (composition algebras) every finite-dimensional real normed division algebra has dimension 1, 2, 4, or 8
Hurwitz theorem (composition algebras) the only finite-dimensional real composition algebras with a positive-definite multiplicative norm have dimensions 1, 2, 4, or 8
Cramér–Wold theorem A probability distribution on R^n is uniquely determined by the distributions of all its one-dimensional linear projections
Corona theorem solvability of certain division problems in H^∞(D) via predicate surface "statementAbout"
Corona theorem absence of corona in maximal ideal space of disk algebra via predicate surface "statementAbout"
Euler–Poincaré characteristic formula For a space X with finite-dimensional cohomology, χ(X) = Σ_i (-1)^i dim H^i(X)
Euler–Poincaré characteristic formula For a finite chain complex C, Σ_i (-1)^i dim C_i = Σ_i (-1)^i dim H_i(C)