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 |
|---|---|
| A Book of Music | serial poem via predicate surface "hasPoeticForm" ⓘ |
| manuscripts of Vox Clamantis | codex via predicate surface "materialForm" ⓘ |
| Lévy’s continuity theorem | if φ_n(t) → φ(t) for all t and φ is continuous at 0, then μ_n ⇒ μ ⓘ |
| Lévy’s continuity theorem | if μ_n ⇒ μ then φ_n(t) → φ(t) for all t ⓘ |
| Beijing Municipal Education Commission | local education regulations for Beijing via predicate surface "formulates" ⓘ |
| Beijing Municipal Education Commission | local education development plans for Beijing via predicate surface "formulates" ⓘ |
| Shūi Wakashū | tanka via predicate surface "hasPoeticForm" ⓘ |
| Shūi Wakashū | waka via predicate surface "hasPoeticForm" ⓘ |
| The Distances | free verse via predicate surface "hasPoeticForm" ⓘ |
|
Pósa’s theorem in graph theory
surface form:
Pósa’s theorem
|
If G is a graph on n ≥ 3 vertices with degree sequence d1 ≤ d2 ≤ … ≤ dn and for every integer k with 1 ≤ k < n/2, dk ≥ k+1 or d_{n−k} ≥ n−k, then G is Hamiltonian ⓘ |
| Trigarante flag | cloth banner via predicate surface "materialForm" ⓘ |
| Inchicore Haiku | short poems via predicate surface "hasPoeticForm" ⓘ |
| Fenchel–Nielsen coordinates | complex Fenchel–Nielsen coordinates via predicate surface "hasAlternativeFormulation" ⓘ |
| Carroccio of Legnano | four-wheeled wagon via predicate surface "materialForm" ⓘ |
| Riemann–Liouville derivative | Laplace transform representation via predicate surface "hasAlternativeFormulation" ⓘ |
| Monod–Wyman–Changeux model | equations relating saturation to ligand concentration and allosteric constant via predicate surface "mathematicalFormulation" ⓘ |
| paclitaxel | conventional solvent-based formulation with Cremophor EL ⓘ |
| paclitaxel | albumin-bound nanoparticle formulation ⓘ |
| Matilda the kangaroo | mechanical structure via predicate surface "materialForm" ⓘ |
| Ministry of Industry, Trade and Supply (Jordan) | national industrial policies of Jordan via predicate surface "formulates" ⓘ |
| Ministry of Industry, Trade and Supply (Jordan) | national trade policies of Jordan via predicate surface "formulates" ⓘ |
| Collar of the Order of the Sword | ornate collar chain via predicate surface "materialForm" ⓘ |
| SADER | national policies on agriculture in Mexico via predicate surface "formulates" ⓘ |
| SADER | national policies on livestock in Mexico via predicate surface "formulates" ⓘ |
| SADER | national policies on fisheries in Mexico via predicate surface "formulates" ⓘ |
| SADER | national policies on rural development in Mexico via predicate surface "formulates" ⓘ |
| School Education Department, Government of Maharashtra | school education policies for Maharashtra via predicate surface "formulates" ⓘ |
| School Education Department, Government of Maharashtra | regulations for recognition of schools in Maharashtra via predicate surface "formulates" ⓘ |
| School Education Department, Government of Maharashtra | rules for school examinations in Maharashtra via predicate surface "formulates" ⓘ |
| tautochrone problem | variational problem minimizing time of descent with isochrony constraint via predicate surface "mathematicalFormulation" ⓘ |
| Energy Department, Government of Madhya Pradesh | state energy policies via predicate surface "formulates" ⓘ |
| Ministry of Primary and Secondary Education of Zimbabwe | policies for primary education in Zimbabwe via predicate surface "formulates" ⓘ |
| Ministry of Primary and Secondary Education of Zimbabwe | policies for secondary education in Zimbabwe via predicate surface "formulates" ⓘ |
| Abraxane | albumin-bound nanoparticles ⓘ |
|
Cramér–Lundberg model in risk theory
surface form:
Cramér–Lundberg model
|
surplus equals initial capital plus premium income minus aggregate claims via predicate surface "mathematicalFormulation" ⓘ |
| Sacred Tooth Relic of the Buddha | tooth via predicate surface "materialForm" ⓘ |
| Harpic | liquid cleaner ⓘ |
| Harpic | thick liquid cleaner ⓘ |
| Harpic | bleach-based cleaner ⓘ |
| Harpic | acid-based cleaner ⓘ |
| Veet | cream ⓘ |
| Veet | gel ⓘ |
| Veet | lotion ⓘ |
| Veet | wax strips ⓘ |
| Veet | sugar wax ⓘ |
| Veet | spray-on cream ⓘ |
| Veet | in-shower cream ⓘ |
| Nurofen | tablet ⓘ |
| Nurofen | capsule ⓘ |
| Nurofen | caplet ⓘ |