formulatedInTermsOf
P78878
predicate
Indicates that one concept, statement, or representation is expressed, defined, or described using the language, framework, or components of another.
All labels observed (10)
| Label | Occurrences |
|---|---|
| statedInTermsOf | 6 |
| isFormulationOf | 4 |
| isFormulatedInTermsOf | 3 |
| analyzedInTermsOf | 2 |
| formalDefinitionInvolves | 2 |
| formulatedInTermsOf canonical | 2 |
| areDefinedInTermsOf | 1 |
| canBeFormulatedIn | 1 |
| categoryTheoreticFormulation | 1 |
| expressesInTermsOf | 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: formulatedInTermsOf
Generated description
Indicates that one concept, statement, or representation is expressed, defined, or described using the language, framework, or components of another.
Sample triples (23)
| Subject | Object |
|---|---|
| Hodge Conjecture | rational Hodge structures ⓘ |
| Hodge Conjecture | algebraic cycles modulo homological equivalence ⓘ |
| Clausius theorem |
Clausius statement of the second law of thermodynamics
via predicate surface "isFormulationOf"
ⓘ
surface form:
Clausius statement of the second law
|
| 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" ⓘ |
| Chern character | Chern classes via predicate surface "expressesInTermsOf" ⓘ |
| Lyrica | pregabalin via predicate surface "isFormulationOf" ⓘ |
| BF theory | any spacetime dimension via predicate surface "canBeFormulatedIn" ⓘ |
| Chevalley–Warning theorem | sum of degrees of polynomials via predicate surface "statedInTermsOf" ⓘ |
| Chevalley–Warning theorem | number of variables in the system via predicate surface "statedInTermsOf" ⓘ |
| Tiglutik | riluzole via predicate surface "isFormulationOf" NERFINISHED ⓘ |
| Floquet systems | Floquet modes via predicate surface "analyzedInTermsOf" ⓘ |
| Floquet systems | quasienergies via predicate surface "analyzedInTermsOf" ⓘ |
| 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" ⓘ |
|
RCPs
surface form:
Representative Concentration Pathways
|
radiative forcing relative to preindustrial levels via predicate surface "areDefinedInTermsOf" ⓘ |
|
MabThera SC for subcutaneous formulation
surface form:
MabThera SC
|
rituximab via predicate surface "isFormulationOf" NERFINISHED ⓘ |
| Zassenhaus lemma | intersections of subgroups via predicate surface "statedInTermsOf" ⓘ |
| Zassenhaus lemma | products of subgroups via predicate surface "statedInTermsOf" ⓘ |
| Grothendieck–Lefschetz trace formula | fixed points of Frobenius on the variety via predicate surface "statedInTermsOf" ⓘ |
| Grothendieck–Lefschetz trace formula | action of geometric Frobenius on cohomology via predicate surface "statedInTermsOf" ⓘ |
| 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" ⓘ |