isNonzeroFor

P9151
predicate

Indicates that a given value, function, or quantity is not equal to zero under specified conditions or for specified inputs.

All labels observed (8)

Label Occurrences
canBeNonzeroIn 1
greaterThanZeroFor 1
isNonzeroFor canonical 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: isNonzeroFor
Generated description
Indicates that a given value, function, or quantity is not equal to zero under specified conditions or for specified inputs.

Sample triples (8)

Subject Object
Bekenstein–Hawking entropy any black hole with nonzero horizon area
Gibbons–Hawking temperature cosmological constant is positive via predicate surface "isNonzeroWhen"
Gamma function right half-plane Re(z)>0 via predicate surface "nonZeroOn"
Dirichlet L-functions L(1,χ)≠0 for nontrivial Dirichlet characters χ via predicate surface "nonvanishingProperty"
Weyl tensor vacuum regions of spacetime via predicate surface "canBeNonzeroIn"
Néel vector antiferromagnetically ordered phase via predicate surface "nonZeroIn"
distance covariance dependent random variables via predicate surface "greaterThanZeroFor"
SetEnvironmentVariable success via predicate surface "returnsNonzeroOn"