formulatedInTermsOf
P78878
predicate
Indicates that one concept, statement, or representation is expressed, defined, or described using the language, framework, or components of another.
Observed surface forms (9)
- statedInTermsOf ×6
- isFormulationOf ×4
- isFormulatedInTermsOf ×3
- analyzedInTermsOf ×2
- formalDefinitionInvolves ×2
- areDefinedInTermsOf ×1
- canBeFormulatedIn ×1
- categoryTheoreticFormulation ×1
- expressesInTermsOf ×1
Sample triples (23)
| Subject | Object |
|---|---|
| BF theory | any spacetime dimension via predicate surface "canBeFormulatedIn" ⓘ |
| Big-O notation | existence of positive constants c and n0 via predicate surface "formalDefinitionInvolves" ⓘ |
| Big-O notation | inequality |f(n)| ≤ c·g(n) for all n ≥ n0 via predicate surface "formalDefinitionInvolves" ⓘ |
| Chern character | Chern classes via predicate surface "expressesInTermsOf" ⓘ |
| Chevalley–Warning theorem | number of variables in the system via predicate surface "statedInTermsOf" ⓘ |
| Chevalley–Warning theorem | sum of degrees of polynomials via predicate surface "statedInTermsOf" ⓘ |
| Clausius theorem |
Clausius statement of the second law of thermodynamics
via predicate surface "isFormulationOf"
ⓘ
surface form:
Clausius statement of the second law
|
| Euler–Poincaré characteristic formula | alternating sum of dimensions of objects in a finite cochain complex equals alternating sum of dimensions of its cohomology via predicate surface "categoryTheoreticFormulation" ⓘ |
| Floquet systems | Floquet modes via predicate surface "analyzedInTermsOf" ⓘ |
| Floquet systems | quasienergies via predicate surface "analyzedInTermsOf" ⓘ |
| Grothendieck–Lefschetz trace formula | action of geometric Frobenius on cohomology via predicate surface "statedInTermsOf" ⓘ |
| Grothendieck–Lefschetz trace formula | fixed points of Frobenius on the variety via predicate surface "statedInTermsOf" ⓘ |
| Hodge Conjecture | algebraic cycles modulo homological equivalence ⓘ |
| Hodge Conjecture | rational Hodge structures ⓘ |
| Lyrica | pregabalin via predicate surface "isFormulationOf" ⓘ |
|
MabThera SC for subcutaneous formulation
surface form:
MabThera SC
|
rituximab via predicate surface "isFormulationOf" NERFINISHED ⓘ |
| Poynting theorem |
Maxwell's equations
via predicate surface "isFormulatedInTermsOf"
ⓘ
surface form:
Maxwell equations
|
| Poynting theorem | Poynting vector S = E × H via predicate surface "isFormulatedInTermsOf" ⓘ |
| Poynting theorem | electromagnetic energy density u via predicate surface "isFormulatedInTermsOf" ⓘ |
|
RCPs
surface form:
Representative Concentration Pathways
|
radiative forcing relative to preindustrial levels via predicate surface "areDefinedInTermsOf" ⓘ |
| Tiglutik | riluzole via predicate surface "isFormulationOf" NERFINISHED ⓘ |
| Zassenhaus lemma | intersections of subgroups via predicate surface "statedInTermsOf" ⓘ |
| Zassenhaus lemma | products of subgroups via predicate surface "statedInTermsOf" ⓘ |