supportsTheory
P9427
predicate
Indicates that one entity provides evidence, justification, or endorsement for the validity or acceptance of another entity’s theory.
All labels observed (13)
| Label | Occurrences |
|---|---|
| supportsTheory canonical | 107 |
| testedTheory | 24 |
| associatedWithTheory | 22 |
| supportedTheory | 16 |
| supportsConclusion | 8 |
| supportsHypothesis | 6 |
| supportsTheoryOf | 4 |
| empiricalSupport | 2 |
| supportedByArgument | 2 |
| advocatedTheory | 1 |
| mainTheoryDiscussed | 1 |
| supportedHypothesis | 1 |
| supportedTheoryOf | 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: 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 |
|---|---|
| Illustrations and Proofs of the Principle of Population | slower growth of food supply ⓘ |
| Eddington 1919 solar eclipse expedition |
theory of relativity
via predicate surface "testedTheory"
ⓘ
surface form:
Albert Einstein's general theory of relativity
|
|
Gravity Probe B experiment
surface form:
Gravity Probe B
|
general relativity via predicate surface "testedTheory" ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
linear arithmetic ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
bit-vectors ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
arrays ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
uninterpreted functions ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
quantifiers ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
fixed-size bit-vectors ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
floating-point arithmetic ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
datatypes ⓘ |
|
Z3 SMT solver
surface form:
Z3
|
non-linear arithmetic ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
linear arithmetic ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
nonlinear arithmetic ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
bit-vectors ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
arrays ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
uninterpreted functions ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
datatypes ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
fixedpoint ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
floating-point arithmetic ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
sets ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
sequences ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
strings ⓘ |
|
Z3: An Efficient SMT Solver
surface form:
Z3
|
algebraic datatypes ⓘ |
|
Optics
surface form:
Optics (Ptolemy)
|
extramission theory of vision via predicate surface "associatedWithTheory" ⓘ |
| Thinking About Crime | deterrence theory of punishment via predicate surface "associatedWithTheory" ⓘ |
| Fred Hoyle | steady-state theory of the universe via predicate surface "supportedTheory" ⓘ |
| DONUT experiment | three-flavor neutrino model via predicate surface "supportedTheory" ⓘ |
| DONUT experiment |
Standard Model
via predicate surface "supportedTheory"
ⓘ
surface form:
Standard Model of particle physics
|
| Experiences in a Concentration Camp | logotherapy ⓘ |
| Herbert E. Ives | special relativity via predicate surface "testedTheory" ⓘ |
| A Relation between Distance and Radial Velocity among Extra-Galactic Nebulae | expanding universe ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
linear arithmetic ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
nonlinear arithmetic ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
bit-vectors ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
arrays ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
uninterpreted functions ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
algebraic data types ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
floating-point arithmetic ⓘ |
|
Satisfiability Modulo Theories (SMT)
surface form:
Satisfiability Modulo Theories
|
quantifiers ⓘ |
| The New Keynesian Phillips Curve: Time Series Evidence from the Euro Area | New Keynesian inflation dynamics ⓘ |
| The New Keynesian Phillips Curve: Time Series Evidence from the Euro Area | forward-looking Phillips curve ⓘ |
| Joseph Dalton Hooker | evolution by natural selection via predicate surface "supportedTheoryOf" ⓘ |
| T-SAGE instrument |
theory of relativity
via predicate surface "testedTheory"
ⓘ
surface form:
Einstein's General Relativity
|
| Eötvös experiment |
theory of relativity
ⓘ
surface form:
Einstein's general theory of relativity
|
|
“Synthesis of the Elements in Stars” (B2FH, 1957)
surface form:
Synthesis of the Elements in Stars
|
stellar nucleosynthesis as origin of heavy elements ⓘ |
| Laffer Investments | Laffer curve via predicate surface "associatedWithTheory" ⓘ |
| Aspect experiment on Bell inequality tests (1982) | quantum mechanics ⓘ |
| oil-drop experiment | atomic theory of matter via predicate surface "supportedTheory" ⓘ |
| oil-drop experiment | existence of discrete electrons via predicate surface "supportedTheory" ⓘ |