isNonzeroFor
P9151
predicate
Indicates that a given value, function, or quantity is not equal to zero under specified conditions or for specified inputs.
Observed surface forms (1)
- isNonzeroWhen ×1
Sample triples (2)
| Subject | Object |
|---|---|
| Bekenstein–Hawking entropy | any black hole with nonzero horizon area ⓘ |
| Gibbons–Hawking temperature | cosmological constant is positive via predicate surface "isNonzeroWhen" ⓘ |