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
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"