strongerThan

P24323
predicate

Indicates that one entity possesses greater strength, power, or intensity than another.

All labels observed (9)

Label Occurrences
strongerThan canonical 31
hasHigherStrength 5
morePowerfulThan 3

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: strongerThan
Generated description
Indicates that one entity possesses greater strength, power, or intensity than another.

Sample triples (49)

Subject Object
local existence and uniqueness theorem Peano existence theorem in terms of uniqueness ⓘ
Run 3 (2022– ) Run 2 (2015–2018) via predicate surface "intensityHigherThan" ⓘ
axiom of choice global axiom of choice via predicate surface "hasStrongerForm" ⓘ
Zermelo set theory weaker than Zermelo–Fraenkel set theory with replacement via predicate surface "strengthComparedTo" ⓘ
Mounjaro 5 mg once weekly via predicate surface "hasHigherStrength" ⓘ
Mounjaro 7.5 mg once weekly via predicate surface "hasHigherStrength" ⓘ
Mounjaro 10 mg once weekly via predicate surface "hasHigherStrength" ⓘ
Mounjaro 12.5 mg once weekly via predicate surface "hasHigherStrength" ⓘ
Mounjaro 15 mg once weekly via predicate surface "hasHigherStrength" ⓘ
Copernican principle (strong form) Copernican principle (weak form) ⓘ
Kakutani equivalence in ergodic theory orbit equivalence for some classes of systems ⓘ
Kolmogorov distance Lévy metric on the real line ⓘ
Torpex TNT via predicate surface "moreEnergeticThan" ⓘ
warfarin true via predicate surface "S-warfarinMorePotentThanR-warfarin" ⓘ
dominated convergence theorem Fatou's lemma under additional hypotheses ⓘ
The Pinkprint Pink Friday via predicate surface "hasStrongerPersonalThemesThan" ⓘ
The Pinkprint Pink Friday: Roman Reloaded via predicate surface "hasStrongerPersonalThemesThan" ⓘ
London dispersion forces gravitational forces between molecules ⓘ
Tukey's range test Bonferroni correction in balanced one-way ANOVA for pairwise means via predicate surface "morePowerfulThan" ⓘ
Red Shell Green Shell in targeting ability ⓘ
Gleipnir previousBindingsOfFenrir ⓘ
Dromi Læding ⓘ
Abel summation Cesàro summation of order 1 in many contexts ⓘ
Borel summation Cesàro summation ⓘ
Borel summation Abel summation ⓘ
Bateman–Horn conjecture Schinzel’s hypothesis H in many formulations ⓘ
Dirichlet test alternating series test in some cases ⓘ
Karp reduction
linked to: Karp reductions
polynomial-time Turing reduction in terms of restriction ⓘ
Omega Mimic standard Mimic via predicate surface "morePowerfulThan" ⓘ
Erdős–Turán conjecture Green–Tao theorem for primes ⓘ
linked to: Green–Tao theorem
Erdős–Turán conjecture assertions about existence of only finitely long progressions ⓘ
Bombieri–Vinogradov theorem weaker than the Generalized Riemann Hypothesis pointwise in the modulus via predicate surface "strengthComparedTo" ⓘ
Bombieri–Vinogradov theorem comparable to the Generalized Riemann Hypothesis on average over moduli via predicate surface "strengthComparedTo" ⓘ
Lipschitz continuity condition uniform continuity ⓘ
Lipschitz continuity condition ordinary continuity ⓘ
Bochner integral Pettis integrability ⓘ
Alon–Boppana bound Serre’s refinement of the Alon–Boppana bound via predicate surface "hasStrongerForm" ⓘ
Lyapunov central limit theorem Lindeberg central limit theorem in terms of moment assumptions ⓘ
Lyapunov condition Lindeberg condition ⓘ
Martin-Löf randomness Schnorr randomness ⓘ
Martin-Löf randomness computable randomness ⓘ
Condorcet criterion majority criterion ⓘ
RDX TNT via predicate surface "morePowerfulThan" ⓘ
Universal Composability framework stand-alone security for many tasks ⓘ
Chernoff bound Markov inequality in many settings ⓘ
Chernoff bound Chebyshev inequality in many settings ⓘ
Siegel–Walfisz theorem classical prime number theorem for arithmetic progressions for small moduli ⓘ
Fritz John conditions unconstrained first-order necessary conditions ⓘ
Dirichlet theorem on Fourier series basic convergence results for continuous periodic functions with piecewise continuous derivative ⓘ