typicalAssumption
P7027
predicate
Indicates that something is taken as a standard or default assumption that generally holds in typical or normal circumstances.
All labels observed (17)
| Label | Occurrences |
|---|---|
| typicalAssumption canonical | 61 |
| typicalCondition | 24 |
| assume | 18 |
| typicallyAssumes | 5 |
| typicalAssumptionOnSet | 3 |
| typicalAssumptions | 3 |
| assumptionIn | 2 |
| designAssumption | 2 |
| typicalAssumptionOnClaims | 2 |
| typicalAssumptionOnProcess | 2 |
| typicalAssumptionOnTheory | 2 |
| assumptionOnSpace | 1 |
| oftenAssume | 1 |
| oftenAssumed | 1 |
| oftenAssumesForInference | 1 |
| typicalAssumptionOnFunction | 1 |
| typicalOpacityAssumption | 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: typicalAssumption
Generated description
Indicates that something is taken as a standard or default assumption that generally holds in typical or normal circumstances.
Sample triples (130)
| Subject | Object |
|---|---|
| implicit function theorem | F is Ck with k≥1 ⓘ |
| Fermi paradox | the Milky Way is old enough for advanced civilizations to have arisen ⓘ |
| Fermi paradox | interstellar travel or communication is physically possible ⓘ |
| Fermi paradox | technological civilizations tend to expand or signal their presence ⓘ |
| New Keynesian economics | representative agent households via predicate surface "typicallyAssumes" ⓘ |
| New Keynesian economics | representative firm behavior via predicate surface "typicallyAssumes" ⓘ |
| Girsanov theorem | Brownian motion with respect to a given filtration ⓘ |
| Girsanov theorem | integrability of the drift process ⓘ |
| Minkowski functional | contains the origin via predicate surface "typicalAssumptionOnSet" ⓘ |
| inverse function theorem | function is continuously differentiable (C^1) ⓘ |
| inverse function theorem | domain is an open subset of R^n ⓘ |
| Glicksberg fixed-point theorem | locally convex topological vector space via predicate surface "assumptionOnSpace" ⓘ |
|
Newtonian fluid
linked to:
Newtonian fluids
|
derivation of Navier–Stokes equations via predicate surface "assumptionIn" ⓘ |
| variational autoencoders | prior distribution over latent variables via predicate surface "assume" ⓘ |
| Deep belief networks | undirected connections in lower layers via predicate surface "assume" ⓘ |
| Deep belief networks | directed connections in upper layers via predicate surface "assume" ⓘ |
| Doob–Meyer decomposition | càdlàg submartingale via predicate surface "typicalAssumptionOnProcess" ⓘ |
| Doob–Meyer decomposition | adapted to a right-continuous filtration via predicate surface "typicalAssumptionOnProcess" ⓘ |
| Eddington limit | electron scattering opacity via predicate surface "typicalOpacityAssumption" ⓘ |
| Euler–Maclaurin summation formula | function has sufficiently many continuous derivatives on the interval ⓘ |
| Euler–Maclaurin summation formula | derivatives of the function satisfy suitable decay or boundedness conditions ⓘ |
| Project Daedalus | use of near-future, extrapolated technology via predicate surface "designAssumption" ⓘ |
| Project Daedalus | no breakthroughs in physics required via predicate surface "designAssumption" ⓘ |
| Lambda-CDM model | spatially flat universe via predicate surface "typicallyAssumes" ⓘ |
| Lagrange multipliers | constraints define a smooth manifold ⓘ |
| Poincaré–Bendixson theorem | vector field is continuously differentiable ⓘ |
| NP-completeness | NP-complete problems do not admit polynomial-time algorithms ⓘ |
| Selberg sieve | multiplicative structure of local densities ⓘ |
| Dirichlet conditions | finite number of jump discontinuities per period via predicate surface "assume" ⓘ |
| Dirichlet conditions | no infinite discontinuities on the interval via predicate surface "assume" ⓘ |
| Dynkin formula | bounded stopping time or suitable integrability via predicate surface "typicalCondition" ⓘ |
| Dynkin formula | f in the domain of the generator L via predicate surface "typicalCondition" ⓘ |
| Markov semigroup | measurability in time parameter ⓘ |
| Markov semigroup | Feller property in Feller processes ⓘ |
| brachistochrone problem | fixed endpoints with lower point vertically below upper point or horizontally displaced ⓘ |
| Tonelli's theorem | (X,Σ,μ) and (Y,T,ν) are σ‑finite measure spaces ⓘ |
| Tonelli's theorem | f:X×Y→[0,∞] is Σ⊗T‑measurable ⓘ |
| Clark–Ocone formula | complete probability space with Brownian filtration ⓘ |
| Minimalist semantics | modular architecture of grammar via predicate surface "typicallyAssumes" ⓘ |
| Minimalist semantics | division between syntax and semantics via predicate surface "typicallyAssumes" ⓘ |
| Bernstein inequalities | zero-mean random variables ⓘ |
| Bernstein inequalities | independence of summands ⓘ |
| Bernstein inequalities | bounded support or sub-exponential tails ⓘ |
| Uniform Commercial Code warranty provisions | merchant status for implied warranty of merchantability via predicate surface "assume" ⓘ |
| Barton reaction | inert atmosphere via predicate surface "typicalCondition" ⓘ |
| Barton reaction | non-polar organic solvent via predicate surface "typicalCondition" ⓘ |
| Lefschetz hyperplane theorem | base field is the complex numbers ⓘ |
| Tujunga Wash | mostly dry in summer via predicate surface "typicalCondition" ⓘ |
| Tujunga Wash | carries stormwater during winter rains via predicate surface "typicalCondition" ⓘ |
| Tauberian theorems | growth restrictions on coefficients via predicate surface "typicalCondition" ⓘ |