holdsFor
P12018
predicate
Indicates that a particular relationship or condition remains true over a specified interval or duration of time.
All labels observed (5)
| Label | Occurrences |
|---|---|
| holdsFor canonical | 180 |
| holdsOn | 11 |
| giltFür | 8 |
| trueFor | 8 |
| hedgingHorizon | 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: holdsFor
Generated description
Indicates that a particular relationship or condition remains true over a specified interval or duration of time.
Sample triples (208)
| Subject | Object |
|---|---|
| Mostow rigidity theorem | closed hyperbolic manifolds of dimension at least 3 ⓘ |
| Mostow rigidity theorem | finite-volume non-compact hyperbolic manifolds of dimension at least 3 ⓘ |
| Lebesgue decomposition theorem | a common measurable space for μ and ν via predicate surface "holdsOn" ⓘ |
| Paley–Wiener theorem | compactly supported C-infinity functions ⓘ |
| Paley–Wiener theorem | compactly supported distributions ⓘ |
| Dehn–Lickorish theorem | closed orientable surface of genus at least 1 ⓘ |
| Dehn–Lickorish theorem | mapping class group of a surface of genus g ≥ 1 ⓘ |
| Grothendieck–Lefschetz trace formula | smooth projective varieties over finite fields ⓘ |