hasFormulation

P3660
predicate

Indicates that one entity is expressed, prepared, or configured in a particular form or composition defined by another entity.

Try in SPARQL

All labels observed (22)

Label Occurrences
hasFormulation canonical 163
materialForm 151
formulates 73

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
Erdős–Straus conjecture For every n ≥ 2, the Diophantine equation 4/n = 1/x + 1/y + 1/z has a solution in positive integers x, y, z. via predicate surface "hasAlternativeFormulation" ⓘ
Drucker stability postulate Δσ_ij Δε_ij^p ≥ 0 for all admissible increments via predicate surface "mathematicalFormulation" ⓘ
Catechisms in Old Prussian printed book via predicate surface "materialForm" ⓘ
amphotericin B
surface form: Amphotericin B
conventional deoxycholate formulation via predicate surface "isFormulatedAs" ⓘ
amphotericin B
surface form: Amphotericin B
liposomal amphotericin B via predicate surface "isFormulatedAs" ⓘ
amphotericin B
surface form: Amphotericin B
lipid complex amphotericin B via predicate surface "isFormulatedAs" ⓘ
amphotericin B
surface form: Amphotericin B
colloidal dispersion amphotericin B via predicate surface "isFormulatedAs" ⓘ
convolution theorem F{f∗g}(ω)=F{f}(ω)·F{g}(ω) ⓘ
convolution theorem F{f·g}(ω)=(1/2π)(F{f}∗F{g})(ω) for a common continuous-time convention ⓘ
convolution theorem Discrete-time version uses the discrete-time Fourier transform or DFT with circular convolution ⓘ
Ministry of Education and Science of Mongolia national education strategy of Mongolia via predicate surface "formulates" ⓘ
Ministry of Education and Science of Mongolia national science and technology strategy of Mongolia via predicate surface "formulates" ⓘ
Radicava intravenous formulation ⓘ
Ministry of Defence of Zimbabwe defence policy via predicate surface "formulates" ⓘ
Carborundum grains via predicate surface "materialForm" ⓘ
Carborundum powders via predicate surface "materialForm" ⓘ
Carborundum wheels via predicate surface "materialForm" ⓘ
Carborundum stones via predicate surface "materialForm" ⓘ
Poe's Law without a winking smiley or other blatant display of humor it is utterly impossible to parody a Creationist in such a way that someone won't mistake it for the real thing ⓘ
tâtonnement process differential equations for price dynamics via predicate surface "mathematicalFormulation" ⓘ
tâtonnement process difference equations for iterative price updates via predicate surface "mathematicalFormulation" ⓘ
“Arbeit macht frei” gate inscription
surface form: "Arbeit macht frei" gate inscription
metal gate inscription via predicate surface "materialForm" ⓘ
Believe Me, if All Those Endearing Young Charms strophic form via predicate surface "hasPoeticForm" ⓘ
Beyond Burger Beyond Burger 2.0 NERFINISHED ⓘ
Beyond Burger Beyond Burger 3.0 NERFINISHED ⓘ
Tiberian codices codex via predicate surface "materialForm" ⓘ
Pólya enumeration theorem cycle index series formulation ⓘ
Pólya enumeration theorem weight inventory formulation ⓘ
Insertions into Ideological Circuits: Coca-Cola Project installation via predicate surface "materialForm" ⓘ
Insertions into Ideological Circuits: Coca-Cola Project multiple via predicate surface "materialForm" ⓘ
effigy of Marianne busts in public buildings via predicate surface "materialForm" ⓘ
effigy of Marianne statues in public squares via predicate surface "materialForm" ⓘ
effigy of Marianne engraved portraits via predicate surface "materialForm" ⓘ
effigy of Marianne printed images via predicate surface "materialForm" ⓘ
Kleene’s recursion theorem for every total computable function f on program indices there exists e such that φ_e = φ_{f(e)} ⓘ
Mark
surface form: Papiermark
paper money via predicate surface "materialForm" ⓘ
Mark
surface form: Goldmark
gold-backed currency via predicate surface "materialForm" ⓘ
Mark
surface form: Reichsmark
fiat currency via predicate surface "materialForm" ⓘ
Mark
surface form: Deutsche Mark
fiat currency via predicate surface "materialForm" ⓘ
paper mark
surface form: Papiermark
paper money via predicate surface "materialForm" ⓘ
Cross of Alcoraz armorial bearings via predicate surface "materialForm" ⓘ
Stokes lines often defined by conditions on the argument of a complex phase function via predicate surface "mathematicalFormulation" ⓘ
Stokes lines for exponentials e^{ phi(z)/ ε}, Stokes lines satisfy Im(φ(z)) = constant where Re(φ(z)) changes sign via predicate surface "mathematicalFormulation" ⓘ
Green's theorem ∮_C (L dx + M dy) = ∬_D (∂M/∂x − ∂L/∂y) dA ⓘ
Empiricism and the Philosophy of Mind Myth of the Given via predicate surface "formulates" NERFINISHED ⓘ
OEIS A002849 number of partitions of n into parts congruent to 1 mod 2 with each part used at most once via predicate surface "hasAlternativeFormulation" ⓘ
Barankin bound optimization over finite sets of parameter points ⓘ
Yoneda lemma covariant version ⓘ
Yoneda lemma contravariant version ⓘ
Parseval's theorem sum of squares of Fourier coefficients equals L2 norm squared of function via predicate surface "mathematicalFormulation" ⓘ