formulatedIn
P9767
predicate
Indicates that something was created, developed, or expressed within a particular context, place, or framework.
All labels observed (12)
| Label | Occurrences |
|---|---|
| formulatedIn canonical | 44 |
| formulation | 41 |
| formulatedInContextOf | 8 |
| formulatedInWork | 8 |
| isFormulatedIn | 8 |
| formulatedDuring | 3 |
| formulatedUnder | 3 |
| placeOfFormulation | 3 |
| formulatedInCity | 1 |
| formulatedInCountry | 1 |
| formulatedInTheory | 1 |
| formulatedWithin | 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: formulatedIn
Generated description
Indicates that something was created, developed, or expressed within a particular context, place, or framework.
Sample triples (122)
| Subject | Object |
|---|---|
| doctrine of limited sovereignty | Soviet hegemony in Eastern Europe via predicate surface "formulatedInContextOf" ⓘ |
| Moisture Surge | oil-free via predicate surface "formulation" ⓘ |
| Einstein–Hilbert action | tensor calculus ⓘ |
| Einstein–Hilbert action |
Riemannian manifolds
ⓘ
surface form:
Riemannian geometry
|
| McMillan Plan | early 20th century ⓘ |
| law of simultaneous contrast of colors | dyeing and tapestry work at the Gobelins Manufactory via predicate surface "formulatedInContextOf" ⓘ |
| Raychaudhuri equation | tensor notation ⓘ |
| Raychaudhuri equation | covariant derivative language ⓘ |
| Landau–Lifshitz equations | classical continuum limit of spin systems ⓘ |
| Ramanujan–Petersson conjecture | modular forms for SL(2,Z) via predicate surface "formulatedInContextOf" ⓘ |
| Ramanujan–Petersson conjecture | Hecke eigenforms with multiplicative Fourier coefficients via predicate surface "formulatedInContextOf" ⓘ |
| Descovy | oral tablet via predicate surface "formulation" ⓘ |
| Veklury | intravenous solution via predicate surface "formulation" ⓘ |
| Veklury | lyophilized powder for injection via predicate surface "formulation" ⓘ |
| argument from degrees of perfection | Summa Theologiae via predicate surface "formulatedInWork" ⓘ |
|
unmoved mover
surface form:
Unmoved mover
|
4th century BCE ⓘ |
| Zeldovich approximation | Newtonian cosmology NERFINISHED ⓘ |
| Keytruda | solution for infusion via predicate surface "formulation" ⓘ |
| Axura | film-coated tablet via predicate surface "formulation" ⓘ |
| Axura | oral solution via predicate surface "formulation" ⓘ |
| Germany first policy | pre‑US entry planning for World War II via predicate surface "formulatedDuring" ⓘ |
| Dirac Hamiltonian | relativistic quantum mechanics ⓘ |
| Dirac Hamiltonian | quantum field theory ⓘ |
| Donaldson–Witten theory | late 1980s ⓘ |
| Beal conjecture | If A^x + B^y = C^z with A,B,C,x,y,z positive integers and x,y,z > 2, then A,B,C have a common prime factor via predicate surface "formulation" ⓘ |
| Advanced Génifique Sensitive Dual Concentrate | dual concentrate via predicate surface "formulation" ⓘ |
| Shloshah Asar Ikkarim | Commentary on the Mishnah via predicate surface "formulatedInWork" ⓘ |
| Thirteen Ikkarim | Mishneh Torah via predicate surface "formulatedInWork" NERFINISHED ⓘ |
| Thirteen Ikkarim | Commentary on the Mishnah via predicate surface "formulatedInWork" ⓘ |
| Thirteen Ikkarim | Egypt via predicate surface "placeOfFormulation" NERFINISHED ⓘ |
| Erdős discrepancy problem | for every function f: ℕ → {−1, +1} and every C > 0 there exist n,d ∈ ℕ such that |∑_{k=1}^{n} f(kd)| > C via predicate surface "formulation" ⓘ |
| Georgi–Glashow SU(5) grand unified theory | four spacetime dimensions via predicate surface "isFormulatedIn" ⓘ |
| Kevzara | solution for injection via predicate surface "formulation" ⓘ |
| heterotic supergravity | 10 dimensions ⓘ |
| Fit Me loose finishing powder | powder via predicate surface "formulation" ⓘ |
| Aristada | extended-release injectable suspension via predicate surface "formulation" ⓘ |
| Laue equations | reciprocal space ⓘ |
|
death of the author
surface form:
Death of the author
|
20th century ⓘ |
| Beilinson conjectures | 1980s ⓘ |
| second law of thermodynamics | Clausius statement via predicate surface "formulation" NERFINISHED ⓘ |
| second law of thermodynamics | Kelvin–Planck statement via predicate surface "formulation" NERFINISHED ⓘ |
| second law of thermodynamics | entropy statement via predicate surface "formulation" ⓘ |
| second law of thermodynamics | statistical mechanics formulation via predicate surface "formulation" ⓘ |
| Brans–Dicke theory | four-dimensional spacetime via predicate surface "isFormulatedIn" ⓘ |
| national new-type urbanization strategy of China | 18th National Congress of the Communist Party of China NERFINISHED ⓘ |
| Polyakov action in string theory | Euclidean worldsheet signature ⓘ |
| Polyakov action in string theory | Lorentzian worldsheet signature ⓘ |
|
The Kalam Cosmological Argument
surface form:
Kalam Cosmological Argument
|
syllogistic form via predicate surface "isFormulatedIn" ⓘ |
| R-squared inflation | 1980 ⓘ |
| Jomini’s principles of war | Summary of the Art of War via predicate surface "formulatedInWork" NERFINISHED ⓘ |