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 |
| strengthComparedTo | 3 |
| hasStrongerForm | 2 |
| hasStrongerPersonalThemesThan | 2 |
| S-warfarinMorePotentThanR-warfarin | 1 |
| intensityHigherThan | 1 |
| moreEnergeticThan | 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: 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
ⓘ
surface form:
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–Prokhorov metric
ⓘ
surface form:
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 NERFINISHED ⓘ |
| Dirichlet test | alternating series test in some cases ⓘ |
|
Karp reductions
surface form:
Karp reduction
|
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 NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ |
| 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 NERFINISHED ⓘ |
| 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 ⓘ |