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
Parseval's theorem integral of |f(x)|^2 equals integral of |F(ω)|^2 up to normalization via predicate surface "mathematicalFormulation" ⓘ
white falcon painted on shields via predicate surface "materialForm" ⓘ
white falcon embroidered on garments via predicate surface "materialForm" ⓘ
white falcon engraved on metalwork via predicate surface "materialForm" ⓘ
white falcon carved in stone via predicate surface "materialForm" ⓘ
Advocates’ MS 1.1.6 codex via predicate surface "materialForm" ⓘ
vel
surface form: Vel
metal spear via predicate surface "materialForm" ⓘ
Buffon’s needle problem dropping a stick on floorboards via predicate surface "hasAlternativeFormulation" ⓘ
Buffon’s needle problem throwing a needle on ruled paper via predicate surface "hasAlternativeFormulation" ⓘ
Bourbon royal white flag standards cloth banner via predicate surface "materialForm" ⓘ
Clarke Papers paper via predicate surface "materialForm" ⓘ
Paleohispanic scripts inscriptions via predicate surface "materialForm" ⓘ
Kochen–Specker theorem impossibility of a noncontextual 0–1 valuation on all projections preserving functional relations via predicate surface "mathematicalFormulation" ⓘ
nearly-free electron model Schrödinger equation with periodic potential V(r) via predicate surface "mathematicalFormulation" ⓘ
second supplementary law (2/p) = (-1)^{(p^2-1)/8} for odd prime p via predicate surface "hasAlternativeFormulation" ⓘ
Becker–Döring theory of nucleation infinite set of coupled ordinary differential equations via predicate surface "mathematicallyFormulatedAs" ⓘ
1900 Lafayette dollar coin via predicate surface "materialForm" ⓘ
Wigner 3j symbols integrals of three spherical harmonics via predicate surface "hasAlternativeFormulation" ⓘ
Wigner 3j symbols group-theoretical coupling coefficients of SU(2) via predicate surface "hasAlternativeFormulation" ⓘ
Les Amours Petrarchan sonnet tradition via predicate surface "hasPoeticForm" ⓘ
Kalpa Sutra palm-leaf manuscripts via predicate surface "materialForm" ⓘ
Kalpa Sutra paper manuscripts via predicate surface "materialForm" ⓘ
Pontryagin maximum principle continuous-time version ⓘ
Pontryagin maximum principle discrete-time analogues ⓘ
Lyapunov central limit theorem in terms of normalized centered sums ⓘ
Church of Bete Mikael monolithic block carved from single rock mass via predicate surface "materialForm" ⓘ
Juvederm Juvederm Ultra NERFINISHED ⓘ
Juvederm Juvederm Ultra Plus NERFINISHED ⓘ
Juvederm Juvederm Voluma NERFINISHED ⓘ
Juvederm Juvederm Volbella NERFINISHED ⓘ
Juvederm Juvederm Vollure NERFINISHED ⓘ
Juvederm Juvederm Volux NERFINISHED ⓘ
Bézout’s theorem in terms of degrees of divisors on projective curves ⓘ
Bézout’s theorem in terms of intersection numbers in the Chow ring ⓘ
Seminar XX: Encore Lacan's theory of feminine sexuality via predicate surface "formulates" ⓘ
Seminar XX: Encore Lacan's theory of feminine jouissance via predicate surface "formulates" ⓘ
Recherches sur la théorie des quanta relation between particle momentum and wavelength ⓘ
Mooney-Rivlin theory strain energy function W = C1 (I1 − 3) + C2 (I2 − 3) for incompressible materials via predicate surface "mathematicallyFormulatedAs" ⓘ
Polyakov action in string theory two-dimensional nonlinear sigma model via predicate surface "mathematicallyFormulatedAs" ⓘ
P75 codex via predicate surface "materialForm" ⓘ
Menger theorem in graph theory
surface form: Menger's theorem (graph theory)
local vertex version ⓘ
Menger theorem in graph theory
surface form: Menger's theorem (graph theory)
global vertex version ⓘ
Menger theorem in graph theory
surface form: Menger's theorem (graph theory)
edge version ⓘ
Ministry of Finance of Botswana fiscal policy of Botswana via predicate surface "formulates" ⓘ
Ministry of Finance of Botswana medium-term expenditure frameworks in Botswana via predicate surface "formulates" ⓘ
Liebst du um Schönheit lyric love poem via predicate surface "hasPoeticForm" ⓘ
Xiaogan Municipal Education Bureau local education development plans for Xiaogan City via predicate surface "formulates" ⓘ
Fujian Provincial Health Commission provincial health development plans via predicate surface "formulates" ⓘ
Fujian Provincial Health Commission provincial disease prevention and control plans via predicate surface "formulates" ⓘ
Temple hymns of Enheduanna clay tablet inscription via predicate surface "materialForm" ⓘ