isZeroFor
P9150
predicate
Indicates that a given value, expression, or function evaluates to zero when applied to or considered with respect to a specified entity or context.
All labels observed (34)
| Label | Occurrences |
|---|---|
| isZeroFor canonical | 7 |
| hasZeroAt | 4 |
| zeroCondition | 4 |
| zeroSet | 4 |
| equalsZeroFor | 3 |
| trivialZero | 3 |
| equalsZeroIf | 2 |
| equalsZeroIfAndOnlyIf | 2 |
| isConjecturedZeroFor | 2 |
| isZeroOf | 2 |
| isZeroWhen | 2 |
| trivialZerosLocation | 2 |
| vanishesFor | 2 |
| vanishesIdenticallyIn | 2 |
| vanishesIdenticallyOn | 2 |
| zeroElement | 2 |
| zeroFor | 2 |
| assignsZeroMeasureTo | 1 |
| equalsZeroWhen | 1 |
| isZeroCondition | 1 |
| isZeroIn | 1 |
| isZeroOn | 1 |
| outputForZeroInput | 1 |
| reducesToZero | 1 |
| representsZeroDrivingWheelsAs | 1 |
| returnsZeroOn | 1 |
| weightFunctionZeroBeyond | 1 |
| zeroAt | 1 |
| zeroClassCondition | 1 |
| zeroCorrespondence | 1 |
| zeroElementProperty | 1 |
| zeroIn | 1 |
| zeroOn | 1 |
| zeroValueMeans | 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: isZeroFor
Generated description
Indicates that a given value, expression, or function evaluates to zero when applied to or considered with respect to a specified entity or context.
Sample triples (64)
| Subject | Object |
|---|---|
| Barnes G-function | z=0 via predicate surface "hasZeroAt" ⓘ |
| Barnes G-function | z=-1 via predicate surface "hasZeroAt" ⓘ |
| Barnes G-function | z=-2 via predicate surface "hasZeroAt" ⓘ |
| Barnes G-function | z=-3 via predicate surface "hasZeroAt" ⓘ |
|
Whitehead product in homotopy theory
surface form:
Whitehead product
|
simply connected suspensions under suitable conditions ⓘ |
| Stieltjes measure | intervals where F is constant via predicate surface "zeroOn" ⓘ |
| Godbillon–Vey invariant | many simple product foliations via predicate surface "zeroFor" ⓘ |
| Shapiro delay | no intervening gravitational field is present via predicate surface "isZeroWhen" ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
trivial group ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
finite cyclic groups ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
free groups ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
fundamental groups of compact surfaces ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
torsion-free hyperbolic groups via predicate surface "isConjecturedZeroFor" ⓘ |
|
Whitehead groups
surface form:
Whitehead group
|
many classes of aspherical manifold groups via predicate surface "isConjecturedZeroFor" ⓘ |