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

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
linked to: 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" ⓘ