hasFormulation
P3660
predicate
Indicates that one entity is expressed, prepared, or configured in a particular form or composition defined by another entity.
All labels observed (22)
| Label | Occurrences |
|---|---|
| hasFormulation canonical | 163 |
| materialForm | 151 |
| formulates | 73 |
| mathematicalFormulation | 54 |
| hasPoeticForm | 39 |
| hasAlternativeFormulation | 25 |
| mathematicallyFormulatedAs | 14 |
| isFormulatedAs | 9 |
| formulationFocus | 8 |
| formulatedAs | 6 |
| solutionForm | 3 |
| formulatedInSection | 2 |
| formulatedToSupport | 2 |
| excludedMiddleFormulation | 1 |
| hasBoosterFormulations | 1 |
| hasEnergyFunctionForm | 1 |
| hasGeneralFormulation | 1 |
| hasHamiltonianFormulation | 1 |
| hasOpeningFormula | 1 |
| optimizationFormulation | 1 |
| relatedOptimizationFormulation | 1 |
| updatedFormulation | 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: hasFormulation
Generated description
Indicates that one entity is expressed, prepared, or configured in a particular form or composition defined by another entity.
Sample triples (558)
| Subject | Object |
|---|---|
| Weierstrass factorization theorem | for entire functions with zeros of finite multiplicity ⓘ |
| Weierstrass factorization theorem | in terms of canonical products of minimal genus ⓘ |
| Ehoiai | ἢ οἵη (ē hoiē) via predicate surface "hasOpeningFormula" ⓘ |
| Picard iteration | integral equation equivalent to the differential equation via predicate surface "formulatedAs" ⓘ |
| Journey to a War | sonnet via predicate surface "hasPoeticForm" ⓘ |
|
Bjerknes circulation theorem (applications in meteorology)
surface form:
Bjerknes circulation theorem
|
time derivative of circulation equals integral of baroclinic and body-force terms around contour via predicate surface "mathematicalFormulation" ⓘ |
| COVID-19 vaccines | variant-adapted vaccine via predicate surface "updatedFormulation" ⓘ |
| manuscripts of War and Peace | paper via predicate surface "materialForm" ⓘ |
| Bjerknes compensation | anti-correlated anomalies in oceanic and atmospheric meridional heat transport at a given latitude via predicate surface "mathematicalFormulation" ⓘ |
| Dark and Lovely | conditioning ingredients via predicate surface "formulationFocus" ⓘ |
| Dark and Lovely | damage protection via predicate surface "formulationFocus" ⓘ |
| Dark and Lovely | curl management via predicate surface "formulationFocus" ⓘ |
| Rénergie | visible lifting results via predicate surface "formulationFocus" ⓘ |
| Rénergie | skin firmness improvement via predicate surface "formulationFocus" ⓘ |
| Rénergie | wrinkle appearance reduction via predicate surface "formulationFocus" ⓘ |
| Fresnel zones | division of wavefront into annular regions of equal path difference via predicate surface "mathematicalFormulation" ⓘ |
| Babinet's principle | U_screen + U_complement = U_0, where U denotes complex field amplitudes via predicate surface "mathematicalFormulation" ⓘ |
| 1914 and Other Poems | sonnet via predicate surface "hasPoeticForm" ⓘ |
| 1914 and Other Poems | traditional verse via predicate surface "hasPoeticForm" ⓘ |
| Cunningham's Law | The best way to get the right answer on the internet is not to ask a question, but to post the wrong answer. ⓘ |
| Arab League Energy Ministers Council | common Arab energy policies via predicate surface "formulates" ⓘ |
| Fermat’s principle of least time | optical path length is stationary under small variations of the path via predicate surface "mathematicalFormulation" ⓘ |
| Fermat’s principle of least time | δ∫n(s) ds = 0 for the actual light path via predicate surface "mathematicalFormulation" ⓘ |
| Papiermark | paper money via predicate surface "materialForm" ⓘ |
| Lagrange multipliers | stationary points of the Lagrangian satisfy gradient conditions via predicate surface "mathematicalFormulation" ⓘ |
| On Floating Bodies | conditions for floating equilibrium via predicate surface "formulates" ⓘ |
| Coriolis effect | 2m(Ω × v) via predicate surface "mathematicalFormulation" ⓘ |
| Gaussian surface | ∮_S E · dA = Q_enclosed / ε₀ via predicate surface "mathematicalFormulation" ⓘ |
| Wiener filter | convolution of input with optimal impulse response via predicate surface "mathematicallyFormulatedAs" ⓘ |
| On the Law of Distribution of Energy in the Normal Spectrum | E = hν via predicate surface "mathematicalFormulation" ⓘ |
| Toleriane | minimal ingredients via predicate surface "formulationFocus" ⓘ |
| Toleriane | high tolerance via predicate surface "formulationFocus" ⓘ |
| d’Alembert’s formula | u(x,t) = F(x-ct) + G(x+ct) via predicate surface "solutionForm" ⓘ |
| d’Alembert’s formula | u(x,t) = \tfrac12[f(x-ct)+f(x+ct)] + \tfrac1{2c} \int_{x-ct}^{x+ct} g(s)\,ds via predicate surface "solutionForm" ⓘ |
| Dear Basketball | narrative poem voice-over via predicate surface "hasPoeticForm" ⓘ |
| spin–statistics theorem |
Wightman axioms
via predicate surface "hasAlternativeFormulation"
ⓘ
surface form:
Wightman axioms framework
|
| spin–statistics theorem | algebraic quantum field theory via predicate surface "hasAlternativeFormulation" ⓘ |
| anthropic principle | weak anthropic principle ⓘ |
| anthropic principle |
anthropic principle
self-linksurface differs
ⓘ
surface form:
strong anthropic principle
|
| anthropic principle | participatory anthropic principle ⓘ |
| anthropic principle | final anthropic principle ⓘ |
| loop quantum gravity | quantum constraints of general relativity via predicate surface "formulates" ⓘ |
|
Academic Council
surface form:
Academic Council of Assam University
|
academic regulations of Assam University via predicate surface "formulates" ⓘ |
|
Academic Council
surface form:
Academic Council of Assam University
|
curriculum guidelines of Assam University via predicate surface "formulates" ⓘ |
| Belgian Fourragere | braided cord via predicate surface "materialForm" ⓘ |
| Ministry of Transport of Romania | national transport policy of Romania via predicate surface "formulates" ⓘ |
| Navier–Stokes existence and smoothness problem | existence and smoothness over R^3 with given external force ⓘ |
| Navier–Stokes existence and smoothness problem | uniqueness of smooth solutions given smooth initial data ⓘ |
|
Lagrangian-history direct interaction approximation (LHDIA)
surface form:
Lagrangian-history direct interaction approximation
|
integro-differential equations for correlation and response functions via predicate surface "mathematicalFormulation" ⓘ |
| Shanghai Municipal Education Commission | local education regulations in Shanghai via predicate surface "formulates" ⓘ |