statedFor
P147184
predicate
Indicates that something has been explicitly declared, specified, or asserted in reference to a particular entity, context, or condition.
All labels observed (3)
| Label | Occurrences |
|---|---|
| statedFor canonical | 3 |
| statedOver | 2 |
| oftenStatedFor | 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: statedFor
Generated description
Indicates that something has been explicitly declared, specified, or asserted in reference to a particular entity, context, or condition.
Sample triples (6)
| Subject | Object |
|---|---|
| Carathéodory existence theorem | systems of ordinary differential equations ⓘ |
| Carathéodory existence theorem | vector-valued unknown functions ⓘ |
| Combinatorial Nullstellensatz | commutative field via predicate surface "statedOver" ⓘ |
| Siegel's theorem on integral points | number fields via predicate surface "statedOver" ⓘ |
| Siegel's theorem on integral points | S-integral points with respect to a finite set of places S ⓘ |
| Dirichlet theorem on Fourier series | functions of bounded variation via predicate surface "oftenStatedFor" ⓘ |