isStrongerThan

P2373
predicate

Indicates that one entity possesses greater physical power, force, or effectiveness than another entity.

All labels observed (5)

Label Occurrences
isStrongerThan canonical 21
comparativePower 1
hasStrongerFormThan 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: isStrongerThan
Generated description
Indicates that one entity possesses greater physical power, force, or effectiveness than another entity.

Sample triples (25)

Subject Object
Nash embedding theorem local isometric embedding theorems ⓘ
Equatorial Countercurrent central and eastern parts of ocean basins via predicate surface "isStrongerIn" ⓘ
Morse–Kelley set theory by class–set distinction Zermelo–Fraenkel set theory with Choice ⓘ
Morse–Kelley set theory by class–set distinction von Neumann–Bernays–Gödel set theory ⓘ
Elder Titans greater via predicate surface "powerLevelComparedToTitans" ⓘ
Henstock–Kurzweil integral Lebesgue integral in terms of integrable functions ⓘ
Hausdorff space
linked to: Hausdorff
T1 separation axiom ⓘ
Voronin universality theorem value-distribution results for the Riemann zeta function ⓘ
monotone convergence theorem Fatou lemma in the monotone case ⓘ
linked to: Fatou's lemma
Thom–Mather stratification Whitney stratification ⓘ
Euler’s theorem Fermat’s little theorem for composite moduli ⓘ
Picard theorem Liouville theorem ⓘ
linked to: Liouville's theorem
Peano arithmetic Robinson arithmetic ⓘ
Banach–Saks theorem results that only give weak convergence of subsequences ⓘ
Robertson–Schrödinger uncertainty relation Heisenberg–Kennard uncertainty relation via predicate surface "hasStrongerFormThan" ⓘ
Lindelöf hypothesis trivial bounds for |ζ(1/2+it)| ⓘ
Lindelöf space second countability in general ⓘ
the Oldest Dragon more powerful than typical dragons via predicate surface "comparativePower" ⓘ
Montel space reflexive locally convex space ⓘ
Montel space barrelled space ⓘ
Montel space bornological space ⓘ
GRH Riemann Hypothesis ⓘ
linked to: Riemann hypothesis
grand Riemann hypothesis generalized Riemann hypothesis ⓘ
grand Riemann hypothesis extended Riemann hypothesis ⓘ
T1 separation axiom T0 separation axiom ⓘ