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 |
Sample triples (122)
| Subject | Object |
|---|---|
| Maxwell's equations | 19th century ⓘ |
| LebensraumPolicy | Mein Kampf ⓘ |
| Schwarzschild radius | general relativity via predicate surface "formulatedInTheory" ⓘ |
| Canons of Dort | 1618–1619 via predicate surface "formulatedDuring" ⓘ |
| Canons of Dort | Dordrecht via predicate surface "formulatedInCity" ⓘ |
| Canons of Dort | Dutch Republic via predicate surface "formulatedInCountry" ⓘ |
| Doctrine of Lapse | Lord Dalhousie via predicate surface "formulatedUnder" ⓘ |
| Holy Trinity | early Christian church ⓘ |
| Gauss's law for magnetism | differential form ⓘ |
| Gauss's law for magnetism | integral form ⓘ |
| Scientific Outlook on Development | rapid economic growth in China via predicate surface "formulatedInContextOf" ⓘ |
| Scientific Outlook on Development | growing regional disparities in China via predicate surface "formulatedInContextOf" ⓘ |
| Scientific Outlook on Development | environmental degradation in China via predicate surface "formulatedInContextOf" ⓘ |
| Lebensraum | 1920s ⓘ |
| Massive Retaliation strategy | 1950s ⓘ |
| Third International Theory | The Green Book via predicate surface "formulatedInWork" ⓘ |
| Fermi liquid theory | 1950s ⓘ |
| quantum chromodynamics |
Standard Model
via predicate surface "formulatedWithin"
ⓘ
surface form:
Standard Model of particle physics
|
| Chalcedonian Definition | 451 ⓘ |
| Chalcedonian Definition | Chalcedon via predicate surface "placeOfFormulation" ⓘ |
| Koch's postulates | late 19th century ⓘ |
| Itô’s lemma | continuous time via predicate surface "isFormulatedIn" ⓘ |
| Three-Fifths Compromise | Philadelphia ⓘ |
| Wandel durch Annäherung | 1960s ⓘ |
| Nakasone Doctrine | Yasuhiro Nakasone via predicate surface "formulatedUnder" ⓘ |
| Tomonaga–Schwinger equation | covariant canonical formalism via predicate surface "formulation" ⓘ |
| Bethe–Salpeter equation | integral equation in four-dimensional spacetime via predicate surface "formulation" ⓘ |
| Einstein–Maxwell equations | tensor calculus ⓘ |
| Einstein–Maxwell equations | differential geometry ⓘ |
| Entscheidungsproblem | 1928 ⓘ |
| Entscheidungsproblem |
"Grundzüge der theoretischen Logik"
via predicate surface "formulatedInWork"
ⓘ
surface form:
Grundzüge der theoretischen Logik
|
| efficient market hypothesis | 1960s ⓘ |
| Hume’s Principle (derivable, not postulated) | formal logical language via predicate surface "isFormulatedIn" ⓘ |
| BCG vaccine | lyophilized powder for reconstitution via predicate surface "formulation" ⓘ |
| Dirac field | quantum field theory via predicate surface "isFormulatedIn" ⓘ |
| verification principle | 20th century ⓘ |
| Pascal's wager | Pensées via predicate surface "formulatedInWork" ⓘ |
| Kimilsungism–Kimjongilism |
Kim Jong Un
via predicate surface "formulatedUnder"
ⓘ
surface form:
Kim Jong-un
|
| Zepbound | solution for injection in pre-filled pen via predicate surface "formulation" ⓘ |
| Emgality | solution for injection in prefilled pen via predicate surface "formulation" ⓘ |
| Emgality | solution for injection in prefilled syringe via predicate surface "formulation" ⓘ |
| hypostatic union | Council of Chalcedon ⓘ |
| Fit Me foundation | liquid via predicate surface "formulation" ⓘ |
| Fit Me foundation | stick via predicate surface "formulation" ⓘ |
| Redermic | fragrance-free variants available via predicate surface "formulation" ⓘ |
| Kubo formula |
Heisenberg operator formulation of quantum mechanics
ⓘ
surface form:
Heisenberg picture
|
| Mendel's laws | 1860s ⓘ |
| Brooks's law | The Mythical Man-Month ⓘ |
| Serre duality | Ext^i(F,ω_X) is dual to H^{n-i}(X,F) via predicate surface "formulation" ⓘ |
| geometrization conjecture | 1970s ⓘ |