holdsUnder
P27209
predicate
Indicates that one entity maintains possession, control, or validity of another entity subject to certain conditions, constraints, or a specific context.
All labels observed (8)
| Label | Occurrences |
|---|---|
| holdsObject | 15 |
| holdsUnder canonical | 13 |
| holdsWhen | 11 |
| stableUnder | 6 |
| heldUnder | 5 |
| holdsRightsIn | 5 |
| robustUnder | 1 |
| stehtUnter | 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: holdsUnder
Generated description
Indicates that one entity maintains possession, control, or validity of another entity subject to certain conditions, constraints, or a specific context.
Sample triples (57)
| Subject | Object |
|---|---|
| Gauss–Markov theorem | fixed design matrix assumption ⓘ |
| Gauss–Markov theorem | random design with appropriate conditions ⓘ |
| CLT | independence or weak dependence conditions ⓘ |
| CLT | appropriate moment conditions ⓘ |
| Atsuta Shrine | ancient swords via predicate surface "holdsObject" ⓘ |
| Atsuta Shrine | mirrors via predicate surface "holdsObject" ⓘ |
| Atsuta Shrine | ceremonial garments via predicate surface "holdsObject" ⓘ |
| Atsuta Shrine | ancient documents via predicate surface "holdsObject" ⓘ |
| Boyle's law | temperature is constant (isothermal process) via predicate surface "holdsWhen" ⓘ |
| Gringotts Wizarding Bank | Philosopher's Stone (temporarily, in vault 713) via predicate surface "holdsObject" ⓘ |
| Gringotts Wizarding Bank |
Helga Hufflepuff's cup
via predicate surface "holdsObject"
ⓘ
surface form:
Helga Hufflepuff's cup (in Lestrange vault)
|
| Tolman–Ehrenfest effect | no heat flow occurs in the system via predicate surface "holdsWhen" ⓘ |
| law of conservation of mass | non-relativistic conditions ⓘ |
| Auslander–Buchsbaum formula | the projective dimension of the module is finite via predicate surface "holdsWhen" ⓘ |
| Zimbabwean general election, 2013 |
Constitution of Zimbabwe
via predicate surface "heldUnder"
ⓘ
surface form:
Constitution of Zimbabwe (2013)
|
| Table of Oblation (Prothesis) | prosphora (bread for the Eucharist) via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | wine for the Eucharist via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | diskos (paten) via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | chalice via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | spear (liturgical knife) via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | star-cover (asteriskos) via predicate surface "holdsObject" ⓘ |
| Table of Oblation (Prothesis) | liturgical veils via predicate surface "holdsObject" ⓘ |
| detailed balance principle | system is closed and isolated long enough to reach equilibrium via predicate surface "holdsWhen" ⓘ |
| Fitting ideal | base change in many situations via predicate surface "stableUnder" ⓘ |
| Footix | football via predicate surface "holdsObject" ⓘ |
| Fredholm operator | compact perturbations via predicate surface "stableUnder" ⓘ |
| Fredholm operator | small norm perturbations preserving Fredholmness via predicate surface "stableUnder" ⓘ |
| Lebesgue differentiation theorem | choice of reasonable differentiation bases such as balls or cubes via predicate surface "robustUnder" ⓘ |
| Bernstein polynomials | shape-preserving approximation via predicate surface "stableUnder" ⓘ |
| Gay-Lussac's law | volume is constant via predicate surface "holdsWhen" ⓘ |
| Gay-Lussac's law | amount of gas is constant via predicate surface "holdsWhen" ⓘ |
| Ertel potential vorticity theorem | external torques are negligible via predicate surface "holdsWhen" ⓘ |
| Ertel potential vorticity theorem | source and sink terms of the conserved scalar vanish via predicate surface "holdsWhen" ⓘ |
|
Mattel (intellectual property context)
surface form:
Mattel
|
merchandising via predicate surface "holdsRightsIn" ⓘ |
|
Mattel (intellectual property context)
surface form:
Mattel
|
publishing via predicate surface "holdsRightsIn" ⓘ |
|
Mattel (intellectual property context)
surface form:
Mattel
|
audiovisual adaptations via predicate surface "holdsRightsIn" ⓘ |
|
Mattel (intellectual property context)
surface form:
Mattel
|
interactive media via predicate surface "holdsRightsIn" ⓘ |
|
Mattel (intellectual property context)
surface form:
Mattel
|
theme park and live experiences via predicate surface "holdsRightsIn" ⓘ |
|
Dolbeault cohomology classes
surface form:
Dolbeault cohomology class
|
small deformations of complex structure (in many settings) via predicate surface "stableUnder" ⓘ |
| LLN | certain moment conditions ⓘ |
| Savior of the World | crystal orb via predicate surface "holdsObject" ⓘ |
| no-cloning theorem | linear quantum evolution ⓘ |
| no-cloning theorem | unitary quantum operations ⓘ |
| no-cloning theorem | standard postulates of quantum mechanics ⓘ |
| Pontryagin classes | Whitney sum with trivial bundles via predicate surface "stableUnder" ⓘ |
| Taylor–Proudman theorem | Ekman number is small away from boundary layers via predicate surface "holdsWhen" NERFINISHED ⓘ |
| Alfvén’s theorem in magnetohydrodynamics | magnetic Reynolds number is very large via predicate surface "holdsWhen" ⓘ |
| 1903 Australian federal election | Commonwealth Franchise Act 1902 via predicate surface "heldUnder" NERFINISHED ⓘ |
| Slutsky substitution matrix is negative semidefinite | interior solutions to the consumer problem ⓘ |
| Slutsky substitution matrix is negative semidefinite | well-behaved preferences ⓘ |