isTrivialWhen
P102349
predicate
Indicates that one condition, case, or problem becomes trivial or easily solvable when another specified condition holds.
All labels observed (4)
| Label | Occurrences |
|---|---|
| hasTrivialCase | 2 |
| isTrivialIf | 1 |
| isTrivialWhen canonical | 1 |
| mayBeTrivialIf | 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: isTrivialWhen
Generated description
Indicates that one condition, case, or problem becomes trivial or easily solvable when another specified condition holds.
Sample triples (5)
| Subject | Object |
|---|---|
| Fitting subgroup | G has no nontrivial nilpotent normal subgroups ⓘ |
| Kähler cone | manifold is non-Kähler via predicate surface "mayBeTrivialIf" ⓘ |
| Erdős–Moser equation | k=1 gives 1 = 2^1 − 1 via predicate surface "hasTrivialCase" ⓘ |
| Erdős–Moser equation | m=2 gives 1^k = 2^k for k=1 only via predicate surface "hasTrivialCase" ⓘ |
| Fox n-coloring of knots | only monochromatic colorings exist via predicate surface "isTrivialIf" ⓘ |