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 |
|---|---|
| Akkadian literature | clay tablet via predicate surface "materialForm" ⓘ |
| Akkadian literature | stone stele via predicate surface "materialForm" ⓘ |
| Akkadian literature | cylinder via predicate surface "materialForm" ⓘ |
| Senzai Wakashū | tanka via predicate surface "hasPoeticForm" ⓘ |
| equivalent exchange | one cannot gain anything without sacrificing something of equal value via predicate surface "formulatedAs" ⓘ |
| van der Corput lemma | one-dimensional oscillatory integral estimate ⓘ |
| van der Corput lemma | higher-derivative version for oscillatory integrals ⓘ |
| van der Corput lemma | discrete exponential sum version ⓘ |
| Ministry of Energy of Saudi Arabia | national energy policies of Saudi Arabia via predicate surface "formulates" ⓘ |
| Ministry of Energy of Saudi Arabia | oil policy of Saudi Arabia via predicate surface "formulates" ⓘ |
| Ministry of Energy of Saudi Arabia | gas policy of Saudi Arabia via predicate surface "formulates" ⓘ |
| Ministry of Energy of Saudi Arabia | electricity policy of Saudi Arabia via predicate surface "formulates" ⓘ |
| Ministry of Energy of Saudi Arabia | renewable energy policy of Saudi Arabia via predicate surface "formulates" ⓘ |
| large plates of Nephi | metal plates via predicate surface "materialForm" ⓘ |
| General Electric model kitchen | full-scale mock-up kitchen via predicate surface "materialForm" ⓘ |
| Mäṣḥafä Sa'atat | parchment manuscripts via predicate surface "materialForm" ⓘ |
| Mäṣḥafä Sa'atat | paper manuscripts via predicate surface "materialForm" ⓘ |
| Plebański action | gravity as a constrained BF theory via predicate surface "formulates" ⓘ |
| Keats family correspondence | manuscript letters via predicate surface "materialForm" ⓘ |
|
Gallagher Shield (Auckland club rugby trophy)
surface form:
Gallagher Shield
|
physical trophy via predicate surface "materialForm" ⓘ |
| Cauchy–Binet formula | exterior algebra formulation using wedge products ⓘ |
| Cauchy–Binet formula | coordinate formulation using minors ⓘ |
| Apology of Hattusili III | clay tablet via predicate surface "materialForm" ⓘ |
|
the paradox of inquiry
surface form:
paradox of inquiry
|
Either you know what you are inquiring about or you do not know it at all via predicate surface "formulatedAs" ⓘ |
|
the paradox of inquiry
surface form:
paradox of inquiry
|
If you know it, inquiry is unnecessary; if you do not know it, inquiry is impossible via predicate surface "formulatedAs" ⓘ |
| law of excluded middle | P ∨ ¬P via predicate surface "formulatedAs" ⓘ |
|
“Influence of rotatory inertia and shear on flexural motions of isotropic elastic plates”
surface form:
Influence of rotatory inertia and shear on flexural motions of isotropic elastic plates
|
partial differential equations of motion for plates with shear and rotary inertia via predicate surface "mathematicalFormulation" ⓘ |
| zeroth law of black hole mechanics | κ is constant over a connected component of the event horizon of a stationary black hole via predicate surface "mathematicalFormulation" ⓘ |
| St John’s wort | tablet ⓘ |
| St John’s wort | capsule ⓘ |
| St John’s wort | liquid extract ⓘ |
| St John’s wort | tea ⓘ |
| MO SR | military strategy of the Slovak Republic via predicate surface "formulates" ⓘ |
| Wilson loop | trace of the holonomy of the gauge connection around a closed loop via predicate surface "mathematicallyFormulatedAs" ⓘ |
| Ministry of Science and Technology of Vietnam | national strategies for science and technology development via predicate surface "formulates" ⓘ |
| Ministry of Science and Technology of Vietnam | laws and regulations on science and technology via predicate surface "formulates" ⓘ |
| Collected Poems of Ralph Hodgson | short lyric poems via predicate surface "hasPoeticForm" ⓘ |
|
Secretariat of Energy
surface form:
Secretariat of Energy (Mexico)
|
national energy strategy of Mexico via predicate surface "formulates" ⓘ |
| Kean family papers | paper via predicate surface "materialForm" ⓘ |
| Kean family papers | photographic prints via predicate surface "materialForm" ⓘ |
| Kean family papers | manuscript via predicate surface "materialForm" ⓘ |
| Seidel aberrations | third-order expansion of wavefront error via predicate surface "mathematicalFormulation" ⓘ |
| Seidel aberrations | Seidel sums via predicate surface "mathematicalFormulation" NERFINISHED ⓘ |
| Negation | either p or not p via predicate surface "excludedMiddleFormulation" ⓘ |
| Huntsman, What Quarry? | lyric poetry via predicate surface "hasPoeticForm" ⓘ |
| Huntsman, What Quarry? | narrative poetry via predicate surface "hasPoeticForm" ⓘ |
| Collected Lyrics | sonnet via predicate surface "hasPoeticForm" ⓘ |
| Collected Lyrics | traditional lyric via predicate surface "hasPoeticForm" ⓘ |
| Collected Lyrics | rhymed verse via predicate surface "hasPoeticForm" ⓘ |
| Collected Lyrics | metrical verse via predicate surface "hasPoeticForm" ⓘ |