isFormulatedUsing
P96516
predicate
Indicates that something is created, defined, or expressed by means of a specified method, material, or set of components.
All labels observed (7)
| Label | Occurrences |
|---|---|
| isFormulatedUsing canonical | 3 |
| canBeFormulatedUsing | 2 |
| formulationUses | 2 |
| formulationLanguage | 1 |
| isDistilledInAccordanceWith | 1 |
| istFormuliertAls | 1 |
| usesLogicalForm | 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: isFormulatedUsing
Generated description
Indicates that something is created, defined, or expressed by means of a specified method, material, or set of components.
Sample triples (11)
| Subject | Object |
|---|---|
| Fourier inversion theorem | Lebesgue integration ⓘ |
| Fourier inversion theorem | measure theory ⓘ |
| Fourier inversion theorem | Hilbert space methods ⓘ |
|
ravens paradox
surface form:
Ravens paradox
|
All R are B via predicate surface "usesLogicalForm" ⓘ |
| Mittag-Leffler theorem | cohomology of sheaves via predicate surface "canBeFormulatedUsing" ⓘ |
| Mittag-Leffler theorem | divisors and line bundles via predicate surface "canBeFormulatedUsing" ⓘ |
| Lenzsche Regel | Richtung des induzierten Stroms ist so, dass das von ihm erzeugte Magnetfeld der Änderung des ursprünglichen Magnetfeldes entgegenwirkt via predicate surface "istFormuliertAls" ⓘ |
| Fontaine–Mazur conjecture | p-adic Hodge-theoretic conditions via predicate surface "formulationLanguage" ⓘ |
| Green’s conjecture | Koszul cohomology via predicate surface "formulationUses" ⓘ |
| Green’s conjecture | minimal graded free resolutions via predicate surface "formulationUses" ⓘ |
| Rebel Yell | traditional Southern distilling practices via predicate surface "isDistilledInAccordanceWith" ⓘ |