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

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
Euler equations vector form
Euler equations primitive variable form
Occam's razor entities should not be multiplied beyond necessity
Occam's razor do not posit more causes than are needed to explain the phenomena
Occam's razor the simplest explanation that fits the facts is to be preferred
Softsoap liquid
Softsoap foam
Softsoap gel
Shakespeare quartos printed book via predicate surface "materialForm"
Tylenol extra strength
Tylenol regular strength
Tylenol extended release
Tylenol infant formulation
Tylenol children’s formulation
Government Seal of Japan graphic emblem via predicate surface "materialForm"
Ising models
surface form: Ising model
quadratic unconstrained binary optimization via predicate surface "relatedOptimizationFormulation"
"One man, one vote"
surface form: One man, one vote
one person, one vote via predicate surface "hasAlternativeFormulation"
"One man, one vote"
surface form: One man, one vote
one citizen, one vote via predicate surface "hasAlternativeFormulation"
Ricardian equivalence equivalence between present value of taxes and present value of government spending via predicate surface "mathematicalFormulation"
Coffin Texts inscriptions on coffin interiors via predicate surface "materialForm"
Coffin Texts inscriptions on coffin exteriors via predicate surface "materialForm"
IS-LM model system of simultaneous equations for goods and money markets via predicate surface "mathematicalFormulation"
Gell-Mann–Low theorem expresses interacting vacuum as limit of time-evolution operator acting on free vacuum via predicate surface "mathematicalFormulation"
Bianchi identities R_{abcd;e} + R_{abed;c} + R_{abce;d} = 0
Bianchi identities R_{a[bcd]} = 0
Bianchi identities DΩ = 0 in Cartan’s formalism
PageRank algorithm
surface form: PageRank
eigenvector of normalized link matrix via predicate surface "mathematicalFormulation"
Super-many-time theory of quantum mechanics system of coupled partial differential equations in multiple time variables via predicate surface "mathematicalFormulation"
Tomos of autocephaly for the Orthodox Church of Ukraine parchment document via predicate surface "materialForm"
Born approximation in scattering theory
surface form: Born approximation
Born approximation in scattering theory self-linksurface differs
surface form: first Born approximation
Born approximation in scattering theory
surface form: Born approximation
Born approximation in scattering theory self-linksurface differs
surface form: second Born approximation
Harmonices Mundi Kepler’s laws of planetary motion via predicate surface "formulates"
surface form: Kepler's third law of planetary motion
identity of indiscernibles for all x and y, if for every property P, P(x) iff P(y), then x = y
Formula of Universal Law act only according to that maxim whereby you can at the same time will that it should become a universal law
permanent income hypothesis consumption equals a constant fraction of permanent income via predicate surface "mathematicalFormulation"
Barberini bees stone carvings via predicate surface "materialForm"
Barberini bees stucco reliefs via predicate surface "materialForm"
Barberini bees fresco painting via predicate surface "materialForm"
Barberini bees metalwork via predicate surface "materialForm"
Nol Red Ticket paper-based smart ticket via predicate surface "materialForm"
American Buffalo gold bullion coins
surface form: American Buffalo gold bullion coin
bullion via predicate surface "materialForm"
Wigner’s theorem on symmetry transformations bijections of the projective Hilbert space preserving transition probabilities are induced by unitary or antiunitary operators via predicate surface "mathematicalFormulation"
uncertainty principle Robertson–Schrödinger uncertainty relation via predicate surface "hasGeneralFormulation"
Dioptrique Snell’s law of refraction via predicate surface "formulates"
surface form: Snell–Descartes law
Hume’s Principle (derivable, not postulated) The number of F’s is equal to the number of G’s if and only if there is a one-to-one correspondence between the F’s and the G’s
Gothic Bible illuminated manuscript via predicate surface "materialForm"
Green harp flag
surface form: Green Harp Flag
cloth banner via predicate surface "materialForm"
Osborn Collection of English literary and historical manuscripts manuscripts via predicate surface "materialForm"
Osborn Collection of English literary and historical manuscripts correspondence via predicate surface "materialForm"
Osborn Collection of English literary and historical manuscripts literary works via predicate surface "materialForm"