weakerThan
P24324
predicate
Indicates that one entity has less strength, power, or effectiveness than another entity.
Aliases (7)
- isLessRestrictiveThan ×4
- hasWeakerForm ×2
- isWeakerThan ×2
- lessRestrictiveThan ×2
- isWeakerIn ×1
- lessExpressiveThan ×1
- smallerForce ×1
Sample triples (17)
| Subject | Object |
|---|---|
| Appendix III | CITES Appendix I ("isLessRestrictiveThan") → |
| Appendix III | CITES Appendix II ("isLessRestrictiveThan") → |
| Battle of Lechaeum | Athenian force ("smallerForce") → |
| Class B airspace | Class A airspace ("isLessRestrictiveThan") → |
| Class C airspace | Class B airspace ("isLessRestrictiveThan") → |
| Equatorial Countercurrent | western parts of ocean basins ("isWeakerIn") → |
| OWL Full | OWL DL ("lessRestrictiveThan") → |
| OWL Full | OWL Lite ("lessRestrictiveThan") → |
| RDFS | OWL ("lessExpressiveThan") → |
| Riemann integral | Lebesgue integral in terms of generality → |
| Riemann–Lebesgue lemma | results that give rates of decay of Fourier coefficients ("isWeakerThan") → |
| Zermelo set theory | Zermelo–Fraenkel set theory → |
| axiom of choice | countable axiom of choice ("hasWeakerForm") → |
| axiom of choice | dependent choice ("hasWeakerForm") → |
| axiom schema of separation | axiom schema of replacement → |
| local existence and uniqueness theorem | global existence and uniqueness theorems → |
| von Neumann–Bernays–Gödel set theory | Morse–Kelley set theory (in proof-theoretic strength) ("isWeakerThan") → |