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 |
|---|---|
| Euler equations | vector form ⓘ |
| Euler equations | primitive variable form ⓘ |
| Occam's razor | entities should not be multiplied beyond necessity ⓘ |
| Occam's razor | do not posit more causes than are needed to explain the phenomena ⓘ |
| Occam's razor | the simplest explanation that fits the facts is to be preferred ⓘ |
| Softsoap | liquid ⓘ |
| Softsoap | foam ⓘ |
| Softsoap | gel ⓘ |
| Shakespeare quartos | printed book via predicate surface "materialForm" ⓘ |
| Tylenol | extra strength ⓘ |
| Tylenol | regular strength ⓘ |
| Tylenol | extended release ⓘ |
| Tylenol | infant formulation ⓘ |
| Tylenol | children’s formulation ⓘ |
| Government Seal of Japan | graphic emblem via predicate surface "materialForm" ⓘ |
|
Ising models
surface form:
Ising model
|
quadratic unconstrained binary optimization via predicate surface "relatedOptimizationFormulation" ⓘ |
|
"One man, one vote"
surface form:
One man, one vote
|
one person, one vote via predicate surface "hasAlternativeFormulation" ⓘ |
|
"One man, one vote"
surface form:
One man, one vote
|
one citizen, one vote via predicate surface "hasAlternativeFormulation" ⓘ |
| Ricardian equivalence | equivalence between present value of taxes and present value of government spending via predicate surface "mathematicalFormulation" ⓘ |
| Coffin Texts | inscriptions on coffin interiors via predicate surface "materialForm" ⓘ |
| Coffin Texts | inscriptions on coffin exteriors via predicate surface "materialForm" ⓘ |
| IS-LM model | system of simultaneous equations for goods and money markets via predicate surface "mathematicalFormulation" ⓘ |
| Gell-Mann–Low theorem | expresses interacting vacuum as limit of time-evolution operator acting on free vacuum via predicate surface "mathematicalFormulation" ⓘ |
| Bianchi identities | R_{abcd;e} + R_{abed;c} + R_{abce;d} = 0 ⓘ |
| Bianchi identities | R_{a[bcd]} = 0 ⓘ |
| Bianchi identities | DΩ = 0 in Cartan’s formalism ⓘ |
|
PageRank algorithm
surface form:
PageRank
|
eigenvector of normalized link matrix via predicate surface "mathematicalFormulation" ⓘ |
| Super-many-time theory of quantum mechanics | system of coupled partial differential equations in multiple time variables via predicate surface "mathematicalFormulation" ⓘ |
| Tomos of autocephaly for the Orthodox Church of Ukraine | parchment document via predicate surface "materialForm" ⓘ |
|
Born approximation in scattering theory
surface form:
Born approximation
|
Born approximation in scattering theory
self-linksurface differs
ⓘ
surface form:
first Born approximation
|
|
Born approximation in scattering theory
surface form:
Born approximation
|
Born approximation in scattering theory
self-linksurface differs
ⓘ
surface form:
second Born approximation
|
| Harmonices Mundi |
Kepler’s laws of planetary motion
via predicate surface "formulates"
ⓘ
surface form:
Kepler's third law of planetary motion
|
| identity of indiscernibles | for all x and y, if for every property P, P(x) iff P(y), then x = y ⓘ |
| Formula of Universal Law | act only according to that maxim whereby you can at the same time will that it should become a universal law ⓘ |
| permanent income hypothesis | consumption equals a constant fraction of permanent income via predicate surface "mathematicalFormulation" ⓘ |
| Barberini bees | stone carvings via predicate surface "materialForm" ⓘ |
| Barberini bees | stucco reliefs via predicate surface "materialForm" ⓘ |
| Barberini bees | fresco painting via predicate surface "materialForm" ⓘ |
| Barberini bees | metalwork via predicate surface "materialForm" ⓘ |
| Nol Red Ticket | paper-based smart ticket via predicate surface "materialForm" ⓘ |
|
American Buffalo gold bullion coins
surface form:
American Buffalo gold bullion coin
|
bullion via predicate surface "materialForm" ⓘ |
| Wigner’s theorem on symmetry transformations | bijections of the projective Hilbert space preserving transition probabilities are induced by unitary or antiunitary operators via predicate surface "mathematicalFormulation" ⓘ |
| uncertainty principle | Robertson–Schrödinger uncertainty relation via predicate surface "hasGeneralFormulation" ⓘ |
| Dioptrique |
Snell’s law of refraction
via predicate surface "formulates"
ⓘ
surface form:
Snell–Descartes law
|
| Hume’s Principle (derivable, not postulated) | The number of F’s is equal to the number of G’s if and only if there is a one-to-one correspondence between the F’s and the G’s ⓘ |
| Gothic Bible | illuminated manuscript via predicate surface "materialForm" ⓘ |
|
Green harp flag
surface form:
Green Harp Flag
|
cloth banner via predicate surface "materialForm" ⓘ |
| Osborn Collection of English literary and historical manuscripts | manuscripts via predicate surface "materialForm" ⓘ |
| Osborn Collection of English literary and historical manuscripts | correspondence via predicate surface "materialForm" ⓘ |
| Osborn Collection of English literary and historical manuscripts | literary works via predicate surface "materialForm" ⓘ |