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 |
| typicalStatement | 13 |
| positionStatement | 12 |
| statementAbout | 8 |
| statementContent | 7 |
| publicStatement | 4 |
| statementInformal | 4 |
| madeStatement | 3 |
| directorStatement | 2 |
| preludeStatement | 2 |
| statedInApology | 1 |
| typicalStatementForm | 1 |
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) ⓘ |