isLimitOf
P9149
predicate
Indicates that one quantity, function, or sequence approaches a particular value as its input or index approaches some specified point or condition.
All labels observed (37)
| Label | Occurrences |
|---|---|
| hasLimitingCase | 12 |
| isLimitOf canonical | 10 |
| isLowEnergyLimitOf | 6 |
| hasLimitingBehavior | 3 |
| isLimitCaseOf | 3 |
| limitingCase | 3 |
| scalingLimit | 3 |
| approachedAsLimit | 2 |
| becomesExactInLimit | 2 |
| hasLimitCase | 2 |
| haveLimit | 2 |
| isCutoffFor | 2 |
| limitObject | 2 |
| concernsLimit | 1 |
| hasChiralLimit | 1 |
| hasClassicalLimit | 1 |
| hasContinuousLimitAt | 1 |
| hasLimitForm | 1 |
| hasLimitRelation | 1 |
| hasSeriesLimit | 1 |
| involvesLimit | 1 |
| isClassicalLimitOf | 1 |
| isIsingLikeLimit | 1 |
| isIsotropicLimit | 1 |
| isLimitIn | 1 |
| isLimitType | 1 |
| isLimitingCaseOf | 1 |
| isPlanarLimit | 1 |
| limitDefinition | 1 |
| limitOf | 1 |
| limitProcess | 1 |
| limitProperty | 1 |
| limitRegime | 1 |
| recoveredAsLimitOf | 1 |
| seriesLimitTransition | 1 |
| spectralMeasureLimit | 1 |
| usesLimit | 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: isLimitOf
Generated description
Indicates that one quantity, function, or sequence approaches a particular value as its input or index approaches some specified point or condition.
Sample triples (76)
| Subject | Object |
|---|---|
| heavy quark effective theory | infinite heavy quark mass limit via predicate surface "usesLimit" ⓘ |
| heavy quark effective theory | quantum chromodynamics for heavy quarks via predicate surface "isLowEnergyLimitOf" ⓘ |
| Type I supergravity | Type I string theory via predicate surface "isLowEnergyLimitOf" NERFINISHED ⓘ |
| Wallis product | lim_{n→∞} ∏_{k=1}^{n} (4k^2)/(4k^2 - 1) = π/2 via predicate surface "hasLimitForm" ⓘ |
| Student’s t-distribution | standard normal distribution as ν→∞ via predicate surface "limitingCase" ⓘ |
| double exponential distribution | difference of two independent exponential variables with same rate ⓘ |
|
Chebyshev distance (L-infinity metric)
surface form:
Chebyshev distance
|
Minkowski p-metrics as p -> infinity ⓘ |
| Hill equation | response approaches 0 as ligand concentration approaches 0 via predicate surface "hasLimitingBehavior" ⓘ |
| Hill equation | response approaches maximum as ligand concentration becomes very large via predicate surface "hasLimitingBehavior" ⓘ |
| Sierpiński carpet | sequence of compact sets ⓘ |
| Type IIA string theory | M-theory compactified on a circle via predicate surface "isLowEnergyLimitOf" ⓘ |
| Kingman’s coalescent | Wright–Fisher model as population size tends to infinity ⓘ |
| Kingman’s coalescent | Moran model as population size tends to infinity ⓘ |
| q-Gaussian distribution | uniform distribution as q → -∞ (in a bounded domain, formal) via predicate surface "hasLimitingCase" ⓘ |
| Heisenberg–Euler effective Lagrangian | full quantum electrodynamics effective action via predicate surface "isLowEnergyLimitOf" ⓘ |
| Milne universe model | open FLRW universe with vanishing density via predicate surface "isLimitCaseOf" ⓘ |
| Jack polynomials | Macdonald polynomials as q → 1, t = q^α via predicate surface "limitOf" ⓘ |
| Jacobi ensemble | global eigenvalue density converges to a deterministic limit as matrix size grows via predicate surface "hasLimitingBehavior" ⓘ |
| Cheeger–Gromov compactness theorem | Riemannian manifold in smooth Cheeger–Gromov sense via predicate surface "limitObject" ⓘ |
| Cheeger–Gromov compactness theorem | compact metric space in Gromov–Hausdorff sense via predicate surface "limitObject" ⓘ |
| NK model of fitness landscapes | K = 0 gives smooth single-peaked landscape via predicate surface "limitingCase" ⓘ |
| NK model of fitness landscapes | K = N - 1 gives maximally rugged landscape via predicate surface "limitingCase" ⓘ |
| Low’s soft-photon theorem | photon energy going to zero via predicate surface "involvesLimit" ⓘ |
| Wigner semicircle law | matrix size n → ∞ via predicate surface "concernsLimit" ⓘ |
| Marchenko–Pastur law | matrix dimension and sample size go to infinity with fixed ratio via predicate surface "limitRegime" ⓘ |
| Ginibre ensemble | circular law for eigenvalues via predicate surface "scalingLimit" ⓘ |