weakerThan
P24324
predicate
Indicates that one entity has less strength, power, or effectiveness than another entity.
All labels observed (23)
| Label | Occurrences |
|---|---|
| isWeakerThan | 30 |
| weakerThan canonical | 20 |
| lessRestrictiveThan | 9 |
| lessExpressiveThan | 5 |
| isLessRestrictiveThan | 4 |
| hasLowerEnduranceThan | 3 |
| hasLowerForcingThan | 3 |
| hasWeakerForm | 2 |
| isLessReliableThan | 2 |
| lessEffectiveAgainst | 2 |
| lessEffectiveOn | 2 |
| smallerForce | 2 |
| weakerTo | 2 |
| consideredLessSecureThan | 1 |
| hasWeakerRegularityAssumptionThan | 1 |
| isLessPowerfulThan | 1 |
| isWeakerIn | 1 |
| lessConservativeThan | 1 |
| poorerThan | 1 |
| usesWeakerConditionsThan | 1 |
| weakerAgainst | 1 |
| weakerAt | 1 |
| weakerConditionThan | 1 |
Sample triples (96)
| Subject | Object |
|---|---|
| local existence and uniqueness theorem | global existence and uniqueness theorems ⓘ |
| von Neumann–Bernays–Gödel set theory |
Morse–Kelley set theory by class–set distinction
via predicate surface "isWeakerThan"
ⓘ
surface form:
Morse–Kelley set theory (in proof-theoretic strength)
|
| RDFS | OWL via predicate surface "lessExpressiveThan" ⓘ |
| OWL Full | OWL DL via predicate surface "lessRestrictiveThan" ⓘ |
| OWL Full |
OWL
via predicate surface "lessRestrictiveThan"
ⓘ
surface form:
OWL Lite
|
| Equatorial Countercurrent | western parts of ocean basins via predicate surface "isWeakerIn" ⓘ |
| Class B airspace | Class A airspace via predicate surface "isLessRestrictiveThan" ⓘ |
| Class C airspace | Class B airspace via predicate surface "isLessRestrictiveThan" ⓘ |
| Riemann integral | Lebesgue integral in terms of generality ⓘ |
| Riemann–Lebesgue lemma | results that give rates of decay of Fourier coefficients via predicate surface "isWeakerThan" ⓘ |
| Appendix III | CITES Appendix I via predicate surface "isLessRestrictiveThan" ⓘ |
| Appendix III |
Appendix II
via predicate surface "isLessRestrictiveThan"
ⓘ
surface form:
CITES Appendix II
|
| axiom of choice | countable axiom of choice via predicate surface "hasWeakerForm" ⓘ |
| axiom of choice | dependent choice via predicate surface "hasWeakerForm" ⓘ |
| Zermelo set theory | Zermelo–Fraenkel set theory ⓘ |
| axiom schema of separation | axiom schema of replacement ⓘ |
| Battle of Lechaeum | Athenian force via predicate surface "smallerForce" ⓘ |
| Peano existence theorem | Lipschitz continuity via predicate surface "weakerConditionThan" ⓘ |
| Peano existence theorem |
local existence and uniqueness theorem
via predicate surface "hasWeakerRegularityAssumptionThan"
ⓘ
surface form:
Picard–Lindelöf theorem
|
| Coriolis effect | low latitudes via predicate surface "weakerAt" ⓘ |
| Battle of Nazareth | French forces via predicate surface "smallerForce" ⓘ |
| Kakutani equivalence in ergodic theory | measure-theoretic isomorphism of the original systems ⓘ |
| ReadyBoost | systems with SSDs via predicate surface "lessEffectiveOn" ⓘ |
| ReadyBoost | systems with large amounts of RAM via predicate surface "lessEffectiveOn" ⓘ |
| Hicks–Kaldor compensation criterion |
Pareto efficiency
ⓘ
surface form:
Pareto criterion
|
| CRAM-MD5 | SCRAM-SHA-1 ⓘ |
| CRAM-MD5 | SCRAM-SHA-256 ⓘ |
| TLC (triple-level cell) | SLC (single-level cell) via predicate surface "hasLowerEnduranceThan" ⓘ |
| TLC (triple-level cell) | MLC (multi-level cell) via predicate surface "hasLowerEnduranceThan" ⓘ |
| NTLM | Kerberos ⓘ |
| Class D airspace | Class B airspace via predicate surface "lessRestrictiveThan" ⓘ |
| Class D airspace | Class C airspace via predicate surface "lessRestrictiveThan" ⓘ |
| Henstock–Kurzweil integral | Denjoy integral in generality via predicate surface "isWeakerThan" ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
regular Hausdorff space via predicate surface "isWeakerThan" ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
normal Hausdorff space via predicate surface "isWeakerThan" ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
Tychonoff space via predicate surface "isWeakerThan" ⓘ |
|
Hausdorff
surface form:
Hausdorff space
|
metric space via predicate surface "isWeakerThan" ⓘ |
| SQL Server Authentication |
Active Directory
via predicate surface "consideredLessSecureThan"
ⓘ
surface form:
Windows Authentication
|
| ESRB E10+ | T (Teen) via predicate surface "lessRestrictiveThan" ⓘ |
| Peano arithmetic | second-order arithmetic via predicate surface "isWeakerThan" ⓘ |
| Peano arithmetic | Zermelo–Fraenkel set theory via predicate surface "isWeakerThan" ⓘ |
| London dispersion forces | hydrogen bonding ⓘ |
| London dispersion forces | ion–dipole interactions ⓘ |
| London dispersion forces | covalent bonds ⓘ |
| London dispersion forces | ionic bonds ⓘ |
| Tukey's honestly significant difference test | Scheffé's method via predicate surface "lessConservativeThan" ⓘ |
| Red Shell | Spiny Shell in overall threat ⓘ |
| Dromi | Gleipnir ⓘ |
| Demetri | Bella Swan’s mental shield via predicate surface "weakerAgainst" ⓘ |
| Kripke–Platek set theory | Zermelo–Fraenkel set theory ⓘ |