isUpperBoundFor

P14327
predicate

Indicates that one value is greater than or equal to every element in a given set or collection, serving as an upper limit for them.

Try in SPARQL

All labels observed (19)

Label Occurrences
isUpperBoundFor canonical 4
upperBound 4
usedToBound 4

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: isUpperBoundFor
Generated description
Indicates that one value is greater than or equal to every element in a given set or collection, serving as an upper limit for them.

Sample triples (30)

Subject Object
Chandrasekhar limit mass of carbon–oxygen white dwarfs ⓘ
Chandrasekhar limit mass of helium white dwarfs ⓘ
Chandrasekhar limit mass of oxygen–neon–magnesium white dwarfs ⓘ
the Screaming Sixties 70° south via predicate surface "hasUpperLatitudeBound" ⓘ
Class B airspace 10,000 feet MSL via predicate surface "hasTypicalUpperLimit" ⓘ
Klein quartic 84(g-1) via predicate surface "HurwitzBoundValue" ⓘ
Carathéodory’s theorem in convex geometry n+1 points in ℝⁿ via predicate surface "upperBound" ⓘ
Carathéodory metric Lempert function on convex domains ⓘ
Lagrange's four-square theorem 4 is best possible uniform bound for squares via predicate surface "isSharpBound" ⓘ
On the Measurement of the Circle 22/7 via predicate surface "givesUpperBoundForPi" ⓘ
Rubik's Cube 20 moves in half-turn metric via predicate surface "hasOptimalSolutionLengthUpperBound" ⓘ
Castelnuovo–Mumford regularity degrees of defining equations of projective embeddings via predicate surface "usedToBound" ⓘ
Castelnuovo–Mumford regularity Castelnuovo–Mumford regularity of powers of ideals via predicate surface "usedToBound" ⓘ
Castelnuovo–Mumford regularity postulation of projective schemes via predicate surface "usedToBound" ⓘ
de Bruijn–Newman constant less than 1 via predicate surface "upperBound" ⓘ
Banach–Mazur distance polynomial in the dimension for many classes of spaces via predicate surface "upperBoundGrowth" ⓘ
Hamming bound size of a code with given parameters via predicate surface "upperBounds" ⓘ
Hermite constant O(n) via predicate surface "upperBoundGrowth" ⓘ
Erdős distinct distances problem n / sqrt(log n) via predicate surface "originalUpperBoundConstruction" ⓘ
Erdős distinct distances problem Paul Erdős via predicate surface "originalUpperBoundConstructionBy" NERFINISHED ⓘ
Two-thousanders of Canada 3000 metres via predicate surface "hasUpperBoundExclusive" ⓘ
Laplace distribution +∞ via predicate surface "supportUpperBound" ⓘ
Planck density classical general relativity applicability via predicate surface "isUpperScaleFor" ⓘ
Planck power maximum conceivable power in some theoretical models via predicate surface "isUpperScaleHeuristicFor" ⓘ
complexity class EXPTIME
surface form: EXPTIME
problems solvable by exhaustive search over exponentially many configurations via predicate surface "upperBoundFor" ⓘ
Lusternik–Schnirelmann category number of critical points of smooth maps on manifolds via predicate surface "usedToBound" ⓘ
AIXI model
surface form: AIXI
intelligence of computable agents in its setting via predicate surface "upperBoundFor" ⓘ
Belgian sovereign airspace undefined in positive international law via predicate surface "upperBound" ⓘ
Bloch theorem Bloch constant has known finite upper bounds via predicate surface "upperBound" NERFINISHED ⓘ
Ku-band about 18 GHz via predicate surface "hasFrequencyUpperBound" ⓘ