strongerThan
P24323
predicate
Indicates that one entity possesses greater strength, power, or intensity than another.
Observed surface forms (3)
- hasStrongerForm ×1
- intensityHigherThan ×1
- strengthComparedTo ×1
Sample triples (4)
| Subject | Object |
|---|---|
| Run 3 (2022– ) | Run 2 (2015–2018) via predicate surface "intensityHigherThan" → |
| Zermelo set theory | weaker than Zermelo–Fraenkel set theory with replacement via predicate surface "strengthComparedTo" → |
| axiom of choice | global axiom of choice via predicate surface "hasStrongerForm" → |
| local existence and uniqueness theorem |
Peano existence theorem
→
surface form:
Peano existence theorem in terms of uniqueness
|