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 |
|---|---|
| Born statistical interpretation | P(x)=|ψ(x)|^2 for position measurements via predicate surface "mathematicalFormulation" ⓘ |
| Born statistical interpretation | P(a_i)=|⟨a_i|ψ⟩|^2 for discrete eigenvalues via predicate surface "mathematicalFormulation" ⓘ |
| Ministry of Economic Affairs and Development (Barbados) | national economic policy via predicate surface "formulates" ⓘ |
| Mexican real | coin via predicate surface "materialForm" ⓘ |
| Franciscan Tau | wooden cross via predicate surface "materialForm" ⓘ |
| Franciscan Tau | metal cross via predicate surface "materialForm" ⓘ |
| Franciscan Tau | painted symbol via predicate surface "materialForm" ⓘ |
| Ramsey test for conditionals | "If A, then B" is acceptable iff, on hypothetically adding A to one’s beliefs and adjusting minimally, one would accept B" ⓘ |
| Annals of Sennacherib | clay prisms via predicate surface "materialForm" ⓘ |
| Annals of Sennacherib | stone inscriptions via predicate surface "materialForm" ⓘ |
| Talasp inscriptions | stone inscription via predicate surface "materialForm" ⓘ |
| Bangladesh Bank | monetary policy of Bangladesh via predicate surface "formulates" ⓘ |
| Ministry of Energy and Minerals (Oman) | national energy strategies in Oman via predicate surface "formulates" ⓘ |
| Ministry of Energy and Minerals (Oman) | national mineral development strategies in Oman via predicate surface "formulates" ⓘ |
| five-fold cross | stone carvings via predicate surface "materialForm" ⓘ |
| five-fold cross | metalwork via predicate surface "materialForm" ⓘ |
| five-fold cross | textile embroidery via predicate surface "materialForm" ⓘ |
| Mau Mau caves shelter | natural cave formation via predicate surface "materialForm" ⓘ |
| Codex Azcatitlan | bound manuscript via predicate surface "materialForm" ⓘ |
| state seal of the President of Ukraine | embossed seal via predicate surface "materialForm" ⓘ |
| state seal of the President of Ukraine | ink seal impression via predicate surface "materialForm" ⓘ |
| Landauer–Büttiker formalism | current as sum over transmission probabilities via predicate surface "formulates" ⓘ |
| Karamata's inequality | if x majorizes y and f is convex then Σ f(x_i) ≥ Σ f(y_i) ⓘ |
| Karamata's inequality | if x majorizes y and f is concave then Σ f(x_i) ≤ Σ f(y_i) ⓘ |
|
Tucker decomposition in multilinear algebra
surface form:
Tucker decomposition
|
least-squares minimization via predicate surface "optimizationFormulation" ⓘ |
| Banach–Mazur distance | via equivalence of norms on a finite-dimensional vector space via predicate surface "hasAlternativeFormulation" ⓘ |
| Bailey lemma | relation between two sequences forming a Bailey pair ⓘ |
| Onpattro | lipid nanoparticle via predicate surface "isFormulatedAs" ⓘ |
| Amvuttra | solution for injection ⓘ |
|
modern portfolio theory
surface form:
Modern portfolio theory
|
quadratic optimization problem via predicate surface "mathematicallyFormulatedAs" ⓘ |
|
modern portfolio theory
surface form:
Modern portfolio theory
|
constrained optimization of expected return subject to variance via predicate surface "mathematicallyFormulatedAs" ⓘ |
| Szegő limit theorem | limit of (1/n) log det T_n(f) equals average of log f ⓘ |
| God can be found in all things | finding God in all things via predicate surface "hasAlternativeFormulation" ⓘ |
| Lucas asset pricing model | general equilibrium with stochastic endowment process via predicate surface "mathematicalFormulation" ⓘ |
|
sarimanok
surface form:
Sarimanok
|
sculpture via predicate surface "materialForm" ⓘ |
|
sarimanok
surface form:
Sarimanok
|
painting via predicate surface "materialForm" ⓘ |
|
sarimanok
surface form:
Sarimanok
|
textile motif via predicate surface "materialForm" ⓘ |
|
sarimanok
surface form:
Sarimanok
|
metalwork motif via predicate surface "materialForm" ⓘ |
|
Neumann’s principle in crystallography
surface form:
Neumann’s principle
|
property tensors must be invariant under all symmetry operations of the crystal point group via predicate surface "mathematicalFormulation" ⓘ |
| Snowy the polar bear | taxidermy mount via predicate surface "materialForm" ⓘ |
| Drude model | Drude conductivity formula σ = ne²τ/m via predicate surface "formulates" ⓘ |
| Bogoliubov transformation | linear transformation between two sets of ladder operators via predicate surface "mathematicallyFormulatedAs" ⓘ |
| Anhui Provincial Education Department | provincial education development plans via predicate surface "formulates" ⓘ |
| Anhui Provincial Education Department | provincial education regulations and rules via predicate surface "formulates" ⓘ |
| Scroll of the Great Baptism | scroll via predicate surface "materialForm" ⓘ |
| drabsha | banner-like object via predicate surface "materialForm" ⓘ |
| Propecia | oral tablet via predicate surface "isFormulatedAs" ⓘ |
| D&AD Yellow Pencil | pencil-shaped trophy via predicate surface "materialForm" ⓘ |
| Modigliani–Brumberg model | intertemporal optimization problem via predicate surface "mathematicalFormulation" ⓘ |
| life-cycle income hypothesis | intertemporal utility maximization subject to lifetime budget constraint via predicate surface "mathematicalFormulation" ⓘ |