isAssumedIn
P50642
predicate
Indicates that something is taken for granted or presumed to hold within a particular context, without requiring explicit proof or verification.
All labels observed (23)
| Label | Occurrences |
|---|---|
| oftenAssumes | 8 |
| assumptionType | 4 |
| idealAssumption | 4 |
| involvesAssumption | 4 |
| requiresAssumption | 4 |
| coreAssumption | 3 |
| hasIdealAssumption | 3 |
| isAssumedIn canonical | 3 |
| isHypothesisIn | 3 |
| assumesPrior | 2 |
| oftenAssumedToBe | 2 |
| assumedConstantIn | 1 |
| assumesConjecture | 1 |
| assumesGiven | 1 |
| assumesSystem | 1 |
| assumptionOnPoint | 1 |
| assumptionOnVariable | 1 |
| impliedIn | 1 |
| isPresumed | 1 |
| originallyAssumed | 1 |
| planningAssumption | 1 |
| presumed | 1 |
| usesAssumptionFrom | 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: isAssumedIn
Generated description
Indicates that something is taken for granted or presumed to hold within a particular context, without requiring explicit proof or verification.
Sample triples (52)
| Subject | Object |
|---|---|
|
Born rule in quantum mechanics
surface form:
Born rule
|
standard quantum theory ⓘ |
| Fermi theory of beta decay | vector current via predicate surface "originallyAssumed" ⓘ |
| Jacobi ellipsoid | inviscid fluid via predicate surface "requiresAssumption" ⓘ |
| Jacobi ellipsoid | barotropic equation of state via predicate surface "requiresAssumption" ⓘ |
| Unified Neutral Theory of Biodiversity and Biogeography | ecological equivalence of individuals regardless of species via predicate surface "coreAssumption" ⓘ |
| Unified Neutral Theory of Biodiversity and Biogeography | species are demographically identical on a per capita basis via predicate surface "coreAssumption" ⓘ |
| Airy disk | ideal circular pupil models ⓘ |
| NP-completeness | P ≠ NP (widely believed) via predicate surface "assumesConjecture" ⓘ |
| Nyquist plot | steady-state sinusoidal input via predicate surface "oftenAssumes" ⓘ |
| Haldane’s dilemma | hard selection via predicate surface "involvesAssumption" ⓘ |
| Haldane’s dilemma | independent substitutions via predicate surface "involvesAssumption" ⓘ |
| Fisher separation theorem | normative and simplifying assumptions about markets and behavior via predicate surface "assumptionType" ⓘ |
| Gouais Blanc × Pinot Noir (disputed/uncertain) | ampelography via predicate surface "isHypothesisIn" ⓘ |
| Gouais Blanc × Pinot Noir (disputed/uncertain) | grapevine genetics via predicate surface "isHypothesisIn" ⓘ |
| Bayesian linear regression | Gaussian noise on observations via predicate surface "oftenAssumes" ⓘ |
| Auto-Encoding Variational Bayes | simple prior over latent variables via predicate surface "assumesPrior" ⓘ |
| Auto-Encoding Variational Bayes | Gaussian prior over latent variables via predicate surface "assumesPrior" ⓘ |
| Sean Flynn | killed via predicate surface "presumed" ⓘ |
|
Markov random fields
surface form:
Markov random field
|
local interactions via predicate surface "oftenAssumes" ⓘ |
| Proto-Finno-Ugric language | Finno-Ugric hypothesis via predicate surface "isHypothesisIn" ⓘ |
| Brayton cycle | reversible adiabatic compression via predicate surface "idealAssumption" ⓘ |
| Brayton cycle | reversible adiabatic expansion via predicate surface "idealAssumption" ⓘ |
| Brayton cycle | constant specific heats via predicate surface "idealAssumption" ⓘ |
| Brayton cycle | no pressure losses via predicate surface "idealAssumption" ⓘ |
| Teleporting an unknown quantum state via dual classical and Einstein–Podolsky–Rosen channels | single-qubit unknown input state in its basic formulation via predicate surface "assumesSystem" ⓘ |
| UpperTriangular | algorithms that skip operations on known zeros below diagonal ⓘ |
|
Quantum (implied in the film continuity)
surface form:
Quantum
|
Spectre (2015 film) via predicate surface "impliedIn" NERFINISHED ⓘ |
| dependency grammar | one head per dependent via predicate surface "oftenAssumes" ⓘ |
|
Love's Labour's Won (lost play)
surface form:
Love's Labour's Won
|
lost via predicate surface "isPresumed" ⓘ |
| second fundamental theorem of welfare economics | idealized conditions rarely fully satisfied in real economies via predicate surface "assumptionType" ⓘ |
| Poisson’s ratio | linear elasticity via predicate surface "assumedConstantIn" ⓘ |
| Sakata model | proton, neutron, and Lambda are elementary via predicate surface "coreAssumption" ⓘ |
| Psammites | astronomical model of Aristarchus of Samos via predicate surface "usesAssumptionFrom" ⓘ |
| Hurwitz theorem | x is irrational via predicate surface "assumptionOnVariable" ⓘ |
| Birkhoff interpolation | finite set of interpolation nodes via predicate surface "oftenAssumes" ⓘ |
| Birkhoff interpolation | finite set of derivative conditions via predicate surface "oftenAssumes" ⓘ |
| WSClock page replacement algorithm | hardware support for modify bits via predicate surface "oftenAssumes" ⓘ |
| General Headquarters, U.S. Army (in concept) | large-scale national mobilization via predicate surface "planningAssumption" ⓘ |
| IS curve | expectations in the basic static model via predicate surface "assumesGiven" ⓘ |
| Universal Composability framework | computational security via predicate surface "assumptionType" ⓘ |
| Universal Composability framework | information-theoretic security via predicate surface "assumptionType" ⓘ |
|
the paradox of inquiry
surface form:
paradox of inquiry
|
A person must have some grasp of what they seek in order to search for it via predicate surface "involvesAssumption" ⓘ |
|
the paradox of inquiry
surface form:
paradox of inquiry
|
Complete ignorance makes directed inquiry impossible via predicate surface "involvesAssumption" ⓘ |
| Rabin cryptosystem | difficulty of factoring large composite integers via predicate surface "requiresAssumption" ⓘ |
| Rankine cycle | reversible adiabatic expansion in turbine via predicate surface "hasIdealAssumption" ⓘ |
| Rankine cycle | reversible adiabatic compression in pump via predicate surface "hasIdealAssumption" ⓘ |
| Rankine cycle | negligible pressure drops in boiler and condenser via predicate surface "hasIdealAssumption" ⓘ |
| Dini test for convergence of Fourier series | x₀ is a Lebesgue point under the Dini condition via predicate surface "assumptionOnPoint" ⓘ |
| Montel space | Hausdorff via predicate surface "oftenAssumedToBe" NERFINISHED ⓘ |
| Montel space | complete via predicate surface "oftenAssumedToBe" ⓘ |