isBoundedBelow
P75151
predicate
Indicates that every value in a set or function is greater than or equal to some fixed lower bound.
All labels observed (2)
| Label | Occurrences |
|---|---|
| lowerBound | 6 |
| isBoundedBelow canonical | 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: isBoundedBelow
Generated description
Indicates that every value in a set or function is greater than or equal to some fixed lower bound.
Sample triples (7)
| Subject | Object |
|---|---|
| Hamiltonian (time translation generator) | true for stable relativistic theories ⓘ |
| Erdős–Szekeres theorem | ES(n) ≥ 2^{n-2} + 1 via predicate surface "lowerBound" ⓘ |
| Graham–Pollak theorem | n−1 complete bipartite subgraphs are necessary to partition the edges of K_n. via predicate surface "lowerBound" ⓘ |
| Belgian sovereign airspace | Belgian land surface via predicate surface "lowerBound" NERFINISHED ⓘ |
| Belgian sovereign airspace | Belgian internal waters via predicate surface "lowerBound" NERFINISHED ⓘ |
| Belgian sovereign airspace | Belgian territorial sea via predicate surface "lowerBound" NERFINISHED ⓘ |
| Bloch theorem | Bloch constant has known positive lower bounds via predicate surface "lowerBound" NERFINISHED ⓘ |