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 |
|---|---|
| relativity of simultaneity |
Einstein synchronization convention
ⓘ
surface form:
Einstein light-signal synchronization procedure
|
| Fokker–Planck equation | Markov property ⓘ |
| London equations | rigid macroscopic quantum phase of superconducting wavefunction ⓘ |
| London equations | constant density of superconducting carriers ⓘ |
| London equations | superconducting carriers move without scattering ⓘ |
| New Keynesian economics | rational expectations via predicate surface "usesAssumption" ⓘ |
| METI | extraterrestrial civilizations may detect artificial signals ⓘ |
| METI | some scientific concepts are universal ⓘ |
| Lamarckism | direct environmental effects on heredity ⓘ |
| Lamarckism | goal-directed or progressive evolution ⓘ |
| Lamarckism | continuous gradual transformation of species ⓘ |
| Keynesian economics | involuntary unemployment can exist ⓘ |
| Keynesian economics | markets may not clear quickly ⓘ |
| Keynesian economics | short-run non-neutrality of money ⓘ |
| equivalence principle | test bodies do not significantly disturb the gravitational field ⓘ |
| Maxwell–Boltzmann statistics | thermal equilibrium ⓘ |
| Maxwell–Boltzmann statistics | classical limit ⓘ |
| Maxwell–Boltzmann statistics | non-interacting particles ⓘ |
| Maxwell–Boltzmann statistics | dilute gas ⓘ |
| Maxwell–Boltzmann statistics | distinguishability of particles ⓘ |
| Maxwell–Boltzmann statistics | no quantum degeneracy ⓘ |
| Maxwell–Boltzmann statistics | Boltzmann counting of microstates ⓘ |
| Newtonian absolute space | absolute simultaneity ⓘ |
| Newtonian absolute space | global inertial frame ⓘ |
| Eliashberg theory | Migdal approximation ⓘ |
| Eliashberg theory | phonon-mediated pairing interaction ⓘ |
| Feynman rules | perturbation theory ⓘ |
| Feynman rules | expansion in powers of coupling constants ⓘ |
| Dyson series | adiabatic switching on and off of interactions ⓘ |
| Dyson series | existence of free and interacting field decomposition ⓘ |
| S-matrix | existence of asymptotic free states ⓘ |
| Standard Theory of generative grammar | competence–performance distinction ⓘ |
| Standard Theory of generative grammar | autonomous syntax ⓘ |
| Standard Theory of generative grammar | generative grammar as a mental system ⓘ |
| Ginzburg–Landau theory of superconductivity | continuous phase transition ⓘ |
| Schwarzschild Penrose diagram | maximal analytic extension of Schwarzschild solution ⓘ |
| Barber paradox | The barber shaves all those who do not shave themselves ⓘ |
| Barber paradox | The barber shaves no one who shaves himself ⓘ |
| The Knowledge Complexity of Interactive Proof Systems | existence of one-way functions ⓘ |
| The Knowledge Complexity of Interactive Proof Systems | existence of pseudorandom generators ⓘ |
| Interactive Proofs and the Hardness of Approximating Cliques | standard complexity assumptions such as P not equal to NP ⓘ |
| Richter magnitude scale | similar attenuation characteristics as Southern California ⓘ |
| Cantor’s paradox | existence of a set of all sets ⓘ |
| Kruskal–Szekeres coordinates | non-rotating black hole ⓘ |
| Kruskal–Szekeres coordinates | uncharged black hole ⓘ |
| Peano notation | existence of a distinguished element 0 ⓘ |
| Peano notation | existence of a unary successor operation ⓘ |
| Zermelo–Fraenkel set theory | all objects are sets ⓘ |
| Burali-Forti paradox | every well-ordered set is order-isomorphic to a unique ordinal via predicate surface "usesAssumption" ⓘ |
| Burali-Forti paradox | the set of all ordinals, if it existed, would itself be well-ordered via predicate surface "usesAssumption" ⓘ |