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
Les Trophées sonnet via predicate surface "hasPoeticForm" ⓘ
Les Trophées ode via predicate surface "hasPoeticForm" ⓘ
Les Trophées meditative poem via predicate surface "hasPoeticForm" ⓘ
World War II Victory Streamer cloth streamer via predicate surface "materialForm" ⓘ
Linear B clay tablets via predicate surface "materialForm" ⓘ
Linear B inscribed stirrup jars via predicate surface "materialForm" ⓘ
Nambu–Goto action area of a two-dimensional worldsheet embedded in spacetime via predicate surface "formulatedAs" ⓘ
Nambu–Goto action Polyakov action via predicate surface "hasAlternativeFormulation" ⓘ
surface form: Polyakov action with auxiliary worldsheet metric
Science Diet Canine specific health needs in dogs via predicate surface "formulatedToSupport" ⓘ
Science Diet Canine specific nutritional needs in dogs via predicate surface "formulatedToSupport" ⓘ
Presidential insignia of Russia metal chain with enamel and heraldic medallions via predicate surface "materialForm" ⓘ
Presidential insignia of Russia fabric standard with embroidered coat of arms via predicate surface "materialForm" ⓘ
Kaldor growth model dynamic system linking growth rate to profit share and investment via predicate surface "mathematicallyFormulatedAs" ⓘ
Linus’s Law Given enough eyeballs, all bugs are shallow. via predicate surface "hasAlternativeFormulation" ⓘ
Foundations of a General Theory of Sequential Decision Functions probabilistic models of observations via predicate surface "mathematicalFormulation" ⓘ
Foundations of a General Theory of Sequential Decision Functions decision rules mapping histories to actions via predicate surface "mathematicalFormulation" ⓘ
Foundations of a General Theory of Sequential Decision Functions expected loss criteria via predicate surface "mathematicalFormulation" ⓘ
Ge'ez Bible parchment manuscripts via predicate surface "materialForm" ⓘ
Ge'ez Bible illuminated manuscripts via predicate surface "materialForm" ⓘ
Cauchy–Schwarz inequality For sequences (a_i) and (b_i), (∑ a_i b_i)^2 ≤ (∑ a_i^2)(∑ b_i^2) ⓘ
Cauchy–Schwarz inequality For functions f and g in L^2, |∫ f g| ≤ (∫ |f|^2)^{1/2} (∫ |g|^2)^{1/2} ⓘ
Cauchy–Hadamard theorem R^{-1} = limsup_{n→∞} |a_n|^{1/n} ⓘ
Cauchy–Hadamard theorem log R = - limsup_{n→∞} (1/n) log |a_n| when a_n ≠ 0 via predicate surface "hasAlternativeFormulation" ⓘ
cosmic censorship conjecture cosmic censorship conjecture self-linksurface differs ⓘ
surface form: weak cosmic censorship conjecture
cosmic censorship conjecture cosmic censorship conjecture self-linksurface differs ⓘ
surface form: strong cosmic censorship conjecture
Hilbert’s fourteenth problem finite generation of intersections of polynomial rings with subfields of their fraction fields via predicate surface "hasAlternativeFormulation" ⓘ
similar to Ribbon of Saint George
surface form: Ribbon of Saint George
fabric ribbon via predicate surface "materialForm" ⓘ
Niconovum AB oral nicotine delivery ⓘ
Niconovum AB inhaled nicotine delivery ⓘ
London theory of superconductivity London equations via predicate surface "mathematicalFormulation" ⓘ
surface form: first London equation
London theory of superconductivity second London equation via predicate surface "mathematicalFormulation" ⓘ
Vienna manuscript codex via predicate surface "materialForm" ⓘ
Grothendieck–Riemann–Roch theorem Grothendieck’s original formulation in the language of schemes ⓘ
Grothendieck–Riemann–Roch theorem formulation using Chow groups ⓘ
Grothendieck–Riemann–Roch theorem formulation using algebraic K-theory ⓘ
Grothendieck topology Grothendieck topology via predicate surface "hasAlternativeFormulation" self-linksurface differs ⓘ
surface form: Grothendieck pretopology
Erfurt manuscript manuscript codex via predicate surface "materialForm" ⓘ
Koebe quarter theorem for normalized univalent f with f(0)=0 and f'(0)=1, the image contains the disk of radius 1/4 centered at 0 via predicate surface "hasAlternativeFormulation" ⓘ
Byzantine Synaxarion manuscript via predicate surface "materialForm" ⓘ
Byzantine Synaxarion printed book via predicate surface "materialForm" ⓘ
Ruxience concentrate for solution for infusion ⓘ
Stadium paradox apparent contradiction in relative speed via predicate surface "formulates" ⓘ
United States postage stamps adhesive label via predicate surface "materialForm" ⓘ
brachistochrone problem minimization of a time functional over admissible curves via predicate surface "mathematicalFormulation" ⓘ
DTCP policies governing export of defense-related articles via predicate surface "formulates" ⓘ
DTCP policies governing export of defense-related services via predicate surface "formulates" ⓘ
Gelfand–Naimark theorem Gelfand representation of commutative C*-algebras ⓘ
surface form: commutative Gelfand–Naimark theorem
Gelfand–Naimark theorem noncommutative geometry ⓘ
surface form: noncommutative Gelfand–Naimark theorem
Photometria cosine law of illumination via predicate surface "formulates" ⓘ
Mundell-Fleming model system of linear equations via predicate surface "mathematicalFormulation" ⓘ