assumes
P1458
predicate
Indicates that one entity takes on, accepts, or presumes a role, responsibility, state, or fact regarding another entity or situation.
All labels observed (16)
| Label | Occurrences |
|---|---|
| assumes canonical | 3,336 |
| assumption | 282 |
| actsAs | 96 |
| hasAssumption | 28 |
| basedOnAssumption | 18 |
| usesAssumption | 12 |
| assumesOperation | 3 |
| assumesModel | 2 |
| assumeVariables | 1 |
| assumesBackground | 1 |
| assumesInput | 1 |
| assumesMedium | 1 |
| assumesProversAre | 1 |
| assumesVerifierIs | 1 |
| collectivelyAssume | 1 |
| presuppose | 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: assumes
Generated description
Indicates that one entity takes on, accepts, or presumes a role, responsibility, state, or fact regarding another entity or situation.
Sample triples (3,785)
| Subject | Object |
|---|---|
| Oppenheimer–Snyder model | spherical symmetry ⓘ |
| Oppenheimer–Snyder model | homogeneous matter distribution ⓘ |
| Oppenheimer–Snyder model | pressureless matter ⓘ |
| Oppenheimer–Snyder model | dust equation of state ⓘ |
| Oppenheimer–Snyder model | no rotation ⓘ |
| Oppenheimer–Snyder model | no charge ⓘ |
| The Theory of Island Biogeography | mainland species pool as source of colonists ⓘ |
| The Theory of Island Biogeography | stochastic colonization and extinction events ⓘ |
| The Theory of Island Biogeography | species are ecologically similar in the basic model ⓘ |
| Chomsky hierarchy | grammars generate formal languages ⓘ |
| Feynman–Hellmann theorem | normalized eigenstates of the Hamiltonian ⓘ |
| Feynman–Hellmann theorem | differentiable dependence of the Hamiltonian on the parameter ⓘ |
| Born–Oppenheimer approximation | nuclei move much more slowly than electrons via predicate surface "basedOnAssumption" ⓘ |
| Born–Oppenheimer approximation | electronic and nuclear motions can be separated via predicate surface "basedOnAssumption" ⓘ |
| Born–Oppenheimer approximation | nuclear kinetic energy operator can be neglected in electronic problem ⓘ |
| Born–Oppenheimer approximation | electronic wavefunction depends parametrically on nuclear coordinates ⓘ |
| FLRW cosmological models | cosmological principle ⓘ |
| FLRW cosmological models | large-scale homogeneity ⓘ |
| FLRW cosmological models | large-scale isotropy ⓘ |
| Lieutenant Governor of California | acting Governor of California when the Governor is absent via predicate surface "actsAs" ⓘ |
| Lieutenant Governor of California | acting Governor of California when the Governor is out of state via predicate surface "actsAs" ⓘ |
| Lieutenant Governor of California | acting Governor of California when the Governor is unable to discharge duties via predicate surface "actsAs" ⓘ |
| United States Deputy Attorney General | principal deputy to the United States Attorney General via predicate surface "actsAs" ⓘ |
| Bose–Einstein statistics | no restriction on number of particles per quantum state ⓘ |
| Bose–Einstein statistics | symmetry of wavefunction under particle exchange ⓘ |
| Darwinism | struggle for existence ⓘ |
| Darwinism | variation within populations ⓘ |
| Darwinism | inheritance of traits ⓘ |
| BCS theory of superconductivity | effective attractive interaction between electrons near the Fermi surface ⓘ |
| BCS theory of superconductivity | pairing of electrons with opposite momenta and spins ⓘ |
| Feynman–Kac formula | sufficient regularity of coefficients in the PDE ⓘ |
| Feynman–Kac formula | existence of a corresponding diffusion process ⓘ |
| Does the Inertia of a Body Depend Upon Its Energy Content? | validity of special relativity postulates via predicate surface "assumption" ⓘ |
| Nash bargaining solution |
expected utility theory (with John von Neumann)
ⓘ
surface form:
von Neumann–Morgenstern utility functions
|
| Nash bargaining solution | transferable cardinal utilities up to positive affine transformations ⓘ |
| Feynman checkerboard model | discrete spacetime lattice with lightlike links ⓘ |
| Feynman checkerboard model | particle moves only left or right at each time step ⓘ |
| Kakutani fixed-point theorem | domain is a nonempty compact convex subset of a Euclidean space via predicate surface "assumption" ⓘ |
| Kakutani fixed-point theorem | set-valued map has nonempty values via predicate surface "assumption" ⓘ |
| Kakutani fixed-point theorem | values of the correspondence are convex sets via predicate surface "assumption" ⓘ |
| Kakutani fixed-point theorem | graph of the correspondence is closed via predicate surface "assumption" ⓘ |
| Kakutani fixed-point theorem | correspondence is upper hemicontinuous via predicate surface "assumption" ⓘ |
| implicit function theorem | sufficient smoothness conditions ⓘ |
| implicit function theorem | nondegeneracy conditions ⓘ |
| implicit function theorem | Jacobian matrix with nonzero determinant ⓘ |
| implicit function theorem | continuously differentiable function ⓘ |
| implicit function theorem | C1 regularity ⓘ |
| Janet–Cartan theorem | real-analytic Riemannian metric ⓘ |
| Janet–Cartan theorem | real-analytic structure on the manifold via predicate surface "assumption" ⓘ |
| Janet–Cartan theorem | positive-definite Riemannian metric via predicate surface "assumption" ⓘ |