supportsTheory

P9427
predicate

Indicates that one entity provides evidence, justification, or endorsement for the validity or acceptance of another entity’s theory.

Try in SPARQL

All labels observed (13)

Label Occurrences
supportsTheory canonical 107
testedTheory 24
associatedWithTheory 22

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: supportsTheory
Generated description
Indicates that one entity provides evidence, justification, or endorsement for the validity or acceptance of another entity’s theory.

Sample triples (195)

Subject Object
Principe Island general relativity via predicate surface "associatedWithTheory" NERFINISHED ⓘ
liberal international order liberalism in international relations via predicate surface "associatedWithTheory" ⓘ
liberal international order neoliberal institutionalism via predicate surface "associatedWithTheory" ⓘ
Albert Goodwill Spalding baseball originated in the United States via predicate surface "advocatedTheory" ⓘ
The Growth of Logical Thinking from Childhood to Adolescence stage theory of cognitive development via predicate surface "associatedWithTheory" ⓘ
Germer
surface form: Davisson–Germer experiment
wave–particle duality of electrons via predicate surface "testedTheory" ⓘ
Z3 linear arithmetic ⓘ
Z3 bit-vectors ⓘ
Z3 arrays ⓘ
Z3 uninterpreted functions ⓘ
Z3 quantifiers ⓘ
Z3 fixed-size bit-vectors ⓘ
Z3 floating-point arithmetic ⓘ
Z3 datatypes ⓘ
Z3 sets ⓘ
Z3 sequences ⓘ
CVC4 arithmetic ⓘ
CVC4 linear arithmetic ⓘ
CVC4 nonlinear arithmetic ⓘ
CVC4 bit-vectors ⓘ
CVC4 arrays ⓘ
CVC4 uninterpreted functions ⓘ
CVC4 datatypes ⓘ
CVC4 quantifiers ⓘ
CVC4 floating-point arithmetic ⓘ
CVC4 sets ⓘ
CVC4 bags ⓘ
Boolector theory of fixed-size bit-vectors ⓘ
Boolector theory of arrays ⓘ
Boolector theory of uninterpreted functions ⓘ
SMTInterpol linear arithmetic ⓘ
SMTInterpol linear integer arithmetic ⓘ
SMTInterpol linear real arithmetic ⓘ
CVC5 bit-vectors ⓘ
CVC5 arrays ⓘ
CVC5 uninterpreted functions ⓘ
CVC5 linear arithmetic ⓘ
CVC5 nonlinear arithmetic ⓘ
CVC5 datatypes ⓘ
CVC5 floating-point arithmetic ⓘ
CVC5 strings ⓘ
The Feeling of Life Itself: Why Consciousness Is Widespread but Can't Be Computed Integrated Information Theory of consciousness NERFINISHED ⓘ
Sayings Gospel Q two‑source hypothesis via predicate surface "associatedWithTheory" ⓘ
Democratic Ideals and Reality (1919 book)
surface form: Democratic Ideals and Reality
Heartland theory via predicate surface "associatedWithTheory" NERFINISHED ⓘ
Michael Goulder Farrer hypothesis via predicate surface "supportedTheory" NERFINISHED ⓘ