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 |
|---|---|
| Under Secretary of the Army | Chief Management Officer of the Army (in practice and by delegation, depending on period) via predicate surface "actsAs" ⓘ |
| Minkowski inequality | underlying measure space is σ-finite (in many standard formulations) ⓘ |
| von Neumann stability analysis | linearization of the numerical scheme ⓘ |
| von Neumann stability analysis | superposition of Fourier modes ⓘ |
| von Neumann paradox in set theory | existence of a free subgroup of the acting group ⓘ |
| von Neumann paradox in set theory | axiom of choice for selecting representatives of orbits ⓘ |
| War Plan Orange-3 | Japanese naval and air superiority in the Western Pacific ⓘ |
| War Plan Orange-3 | temporary isolation of U.S. forces in the Philippines ⓘ |
| War Plan Orange-3 | eventual relief by U.S. fleet from the continental United States ⓘ |
| Rubinstein bargaining model | two players ⓘ |
| Rubinstein bargaining model | perfect information ⓘ |
| Rubinstein bargaining model | common knowledge of preferences ⓘ |
| Rubinstein bargaining model | discounting of future payoffs ⓘ |
| Rubinstein bargaining model | infinite sequence of possible offers ⓘ |
| Client-Centered Therapy | innate capacity for growth ⓘ |
| Client-Centered Therapy | tendency toward self-actualization ⓘ |
| Peace through law | states can be bound by legal obligations ⓘ |
| Peace through law | legal norms can constrain state behavior ⓘ |
| General Council of the World Trade Organization | Dispute Settlement Body via predicate surface "actsAs" ⓘ |
| General Council of the World Trade Organization |
Trade Policy Review Mechanism
via predicate surface "actsAs"
ⓘ
surface form:
Trade Policy Review Body
|
| Gematria | Torah contains hidden layers of meaning ⓘ |
| Ptolemaic system | Earth is at the center of the universe ⓘ |
| Ptolemaic system | Sun orbits Earth ⓘ |
| Ptolemaic system | Moon orbits Earth ⓘ |
| Ptolemaic system | planets orbit Earth ⓘ |
| Ptolemaic system | fixed stars lie on a celestial sphere ⓘ |
| Ptolemaic system | universe is finite and closed ⓘ |
| Ptolemaic system | heavenly bodies move in uniform circular motion ⓘ |
| Brouwer fixed-point theorem | compactness of the domain ⓘ |
| Brouwer fixed-point theorem | convexity of the domain ⓘ |
| Brouwer fixed-point theorem | continuity of the map ⓘ |
| inverse function theorem | differentiability of the function ⓘ |
| inverse function theorem | invertibility of the derivative at a point ⓘ |
| inverse function theorem | nonzero derivative in the one-dimensional case ⓘ |
| local existence and uniqueness theorem | f is continuous in t ⓘ |
| local existence and uniqueness theorem | f is locally Lipschitz in y ⓘ |
| Fresnel diffraction theory | scalar wave approximation ⓘ |
| Fresnel diffraction theory | monochromatic illumination in basic form ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
agents have a utility function over outcomes ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
preferences over lotteries are complete ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
preferences over lotteries are transitive ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
preferences are continuous ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
independence axiom ⓘ |
|
expected utility theory (with John von Neumann)
surface form:
expected utility theory
|
expected utility axiom ⓘ |
| Chief Cabinet Secretary (Shinzo Abe) | chief government spokesman via predicate surface "actsAs" ⓘ |
| Fraunhofer diffraction | paraxial approximation ⓘ |
| Fraunhofer diffraction | small-angle approximation ⓘ |
| Fraunhofer diffraction | coherent illumination ⓘ |
| multinomial theorem | n is a nonnegative integer ⓘ |
| multinomial theorem | m is a positive integer ⓘ |