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 |
|---|---|
| Gibbs ensemble | probability measure on phase space via predicate surface "mathematicallyFormulatedAs" ⓘ |
| virial theorem |
virial theorem
self-linksurface differs
ⓘ
surface form:
scalar virial theorem
|
| virial theorem |
virial theorem
self-linksurface differs
ⓘ
surface form:
tensor virial theorem
|
| virial theorem |
virial theorem
self-linksurface differs
ⓘ
surface form:
quantum mechanical virial theorem
|
| virial theorem |
virial theorem
self-linksurface differs
ⓘ
surface form:
relativistic virial theorem
|
| Gohonzon | scroll via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
wooden figure via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
pot via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
bundle via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
horn via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
gourd via predicate surface "materialForm" ⓘ |
|
nkisi
surface form:
Nkisi
|
packet via predicate surface "materialForm" ⓘ |
| Type 2 Indian Princess gold dollar | bullion-based coin via predicate surface "materialForm" ⓘ |
| Sacred Arrows | set of arrows via predicate surface "materialForm" ⓘ |
| Stirling's approximation | multiplicative form ⓘ |
| Stirling's approximation | logarithmic form ⓘ |
| Stirling's approximation | series expansion form ⓘ |
| El Capitán | replica Civil War-era cannon via predicate surface "materialForm" ⓘ |
| Eritrean Orthodox liturgy | Qene via predicate surface "hasPoeticForm" ⓘ |
| Eritrean Orthodox liturgy | Mewasit via predicate surface "hasPoeticForm" ⓘ |
| Eritrean Orthodox liturgy |
Common of the Saints
via predicate surface "hasPoeticForm"
ⓘ
surface form:
Mewasit of the Saints
|
| Eritrean Orthodox liturgy | Mahlet via predicate surface "hasPoeticForm" ⓘ |
| Eritrean Orthodox liturgy | Zemare via predicate surface "hasPoeticForm" ⓘ |
| Eritrean Orthodox liturgy | Mawlid hymns for feasts via predicate surface "hasPoeticForm" ⓘ |
| Monge problem in optimal transport | minimize integral of cost of x to T(x) over source measure via predicate surface "mathematicalFormulation" ⓘ |
| Ugaritic Baal Cycle | clay tablets via predicate surface "materialForm" ⓘ |
| Einstein–Podolsky–Rosen paradox | Bohm's spin version of the EPR experiment via predicate surface "hasAlternativeFormulation" ⓘ |
| Signature of Empress Joséphine | ink on paper via predicate surface "materialForm" ⓘ |
| Ministry of Civil Aviation (India) | National Civil Aviation Policy of India via predicate surface "formulates" ⓘ |
| Ministry of Civil Aviation (India) | policies for airport development in India via predicate surface "formulates" ⓘ |
| Ministry of Civil Aviation (India) | policies for airline operations in India via predicate surface "formulates" ⓘ |
| Ministry of Civil Aviation (India) | policies for regional air connectivity in India via predicate surface "formulates" ⓘ |
| Landau pole | pole in the running coupling as a function of energy scale via predicate surface "mathematicalFormulation" ⓘ |
| Pfizer–BioNTech | true via predicate surface "hasBoosterFormulations" ⓘ |
| Pactolus River gold | alluvial placer deposits via predicate surface "materialForm" ⓘ |
| Pactolus River gold | electrum via predicate surface "materialForm" ⓘ |
| Head & Shoulders | shampoo ⓘ |
| Head & Shoulders | 2-in-1 shampoo and conditioner ⓘ |
| Head & Shoulders | conditioner ⓘ |
| Head & Shoulders | scalp treatment ⓘ |
| Herbal Essences | liquid shampoo ⓘ |
| Herbal Essences | cream conditioner ⓘ |
| Itô integral |
Itô integral
via predicate surface "hasAlternativeFormulation"
self-linksurface differs
ⓘ
surface form:
vector-valued Itô integral
|
| Itô integral | matrix-valued Itô integral via predicate surface "hasAlternativeFormulation" ⓘ |
| manuscripts of Isaac Newton | handwritten manuscript via predicate surface "materialForm" ⓘ |
| Sagesse | lyric verse via predicate surface "hasPoeticForm" ⓘ |
| Nepal Rastra Bank | monetary policy of Nepal via predicate surface "formulates" ⓘ |
| Nepal Rastra Bank | foreign exchange policy of Nepal via predicate surface "formulates" ⓘ |
| flag of Provence | cloth banner via predicate surface "materialForm" ⓘ |
| Kragle | tube of glue via predicate surface "materialForm" ⓘ |