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 |
|---|---|
| Iloilo City Council | local policies via predicate surface "formulates" ⓘ |
| Mountain Interval | lyric poetry via predicate surface "hasPoeticForm" ⓘ |
| Mountain Interval | narrative poetry via predicate surface "hasPoeticForm" ⓘ |
| Sokar barque | model boat placed in tombs via predicate surface "materialForm" ⓘ |
| Sokar barque | relief representation on walls via predicate surface "materialForm" ⓘ |
| Sokar barque | painted representation on coffins via predicate surface "materialForm" ⓘ |
| Hamming distance | d(x,y) = |{i : x_i ≠ y_i}| via predicate surface "mathematicalFormulation" ⓘ |
| Pais–Uhlenbeck oscillator | can be written as a system of coupled oscillators with opposite signs of energy via predicate surface "hasHamiltonianFormulation" ⓘ |
| Manuscripts and Archives | manuscripts via predicate surface "materialForm" ⓘ |
| Manuscripts and Archives | paper records via predicate surface "materialForm" ⓘ |
| Manuscripts and Archives | photographs via predicate surface "materialForm" ⓘ |
| Manuscripts and Archives | audio-visual materials via predicate surface "materialForm" ⓘ |
| Manuscripts and Archives | digital records via predicate surface "materialForm" ⓘ |
| Codex Carolinus | codex fragment via predicate surface "materialForm" ⓘ |
| Synagis | solution for injection ⓘ |
| In Mad Love and War | free verse via predicate surface "hasPoeticForm" ⓘ |
| In Mad Love and War | prose poetry via predicate surface "hasPoeticForm" ⓘ |
| Timoshenko beam theory | differential equation form ⓘ |
| Timoshenko beam theory | finite element discretized form ⓘ |
| Higher Education Department, Government of West Bengal | policies for higher education in West Bengal via predicate surface "formulates" ⓘ |
| Decoy Detonators | small mechanical-like device via predicate surface "materialForm" ⓘ |
|
Royal Society of Arts silver medal
surface form:
Royal Society of Arts silver medal (for fungi drawings)
|
silver medal via predicate surface "materialForm" ⓘ |
| Ministry of Energy and Mineral Resources of Indonesia | national energy policy via predicate surface "formulates" ⓘ |
| Ministry of Energy and Mineral Resources of Indonesia | national mineral resources policy via predicate surface "formulates" ⓘ |
| Ministry of Energy and Mineral Resources of Indonesia | national mining policy via predicate surface "formulates" ⓘ |
| PreserVision | AREDS formula NERFINISHED ⓘ |
| PreserVision | AREDS2 formula ⓘ |
| PreserVision | lutein-containing formula ⓘ |
| PreserVision | omega-3-containing formula ⓘ |
| Book III: The Origin of the Gods | handwritten manuscript via predicate surface "materialForm" ⓘ |
| La Galigo epic | palm-leaf manuscript via predicate surface "materialForm" ⓘ |
| La Galigo epic | paper manuscript via predicate surface "materialForm" ⓘ |
| Hartle–Hawking no-boundary proposal | path integral over compact Euclidean four-geometries via predicate surface "mathematicalFormulation" ⓘ |
| Debye–Hückel theory | Debye–Hückel limiting law NERFINISHED ⓘ |
| Debye–Hückel theory | extended Debye–Hückel equation ⓘ |
| Baloch regions | Balochi ballads via predicate surface "hasPoeticForm" ⓘ |
| the One and the many | how a single underlying reality can give rise to multiplicity of things via predicate surface "isFormulatedAs" ⓘ |
| Chinese remainder theorem | ring-theoretic formulation ⓘ |
| Chinese remainder theorem | integer arithmetic formulation ⓘ |
|
state archives of Spain
surface form:
State Archives of Spain
|
paper records via predicate surface "materialForm" ⓘ |
|
state archives of Spain
surface form:
State Archives of Spain
|
parchment records via predicate surface "materialForm" ⓘ |
|
state archives of Spain
surface form:
State Archives of Spain
|
microfilm via predicate surface "materialForm" ⓘ |
|
state archives of Spain
surface form:
State Archives of Spain
|
digital formats via predicate surface "materialForm" ⓘ |
| Rayleigh–Sommerfeld diffraction theory | Rayleigh–Sommerfeld first formula NERFINISHED ⓘ |
| Rayleigh–Sommerfeld diffraction theory | Rayleigh–Sommerfeld second formula NERFINISHED ⓘ |
| Ariadne's clew | thread via predicate surface "materialForm" ⓘ |
| Ariadne's clew | string via predicate surface "materialForm" ⓘ |
| Shloshah Asar Ikkarim | Introduction to Perek Chelek via predicate surface "formulatedInSection" ⓘ |
| Thirteen Ikkarim | Sanhedrin, chapter 10 via predicate surface "formulatedInSection" NERFINISHED ⓘ |
| Erdős–Turán conjecture | If A is a subset of the positive integers and sum_{a in A} 1/a diverges, then A contains arithmetic progressions of every finite length. ⓘ |