variableCondition
P79479
predicate
Indicates that a variable is subject to a specific state, constraint, or requirement that must hold for a given context or operation.
All labels observed (5)
| Label | Occurrences |
|---|---|
| fieldCondition | 5 |
| variableConstraint | 2 |
| conditionOnVariables | 1 |
| definingConditionOnParameter | 1 |
| variableCondition 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: variableCondition
Generated description
Indicates that a variable is subject to a specific state, constraint, or requirement that must hold for a given context or operation.
Sample triples (10)
| Subject | Object |
|---|---|
| Jacobi’s four-square theorem | x, y, z, t ∈ ℤ ⓘ |
| Hasse bound for elliptic curves | finite field F_q via predicate surface "fieldCondition" ⓘ |
| 1982 AFC Championship Game | muddy via predicate surface "fieldCondition" ⓘ |
|
1967 NFL Championship Game (Ice Bowl)
surface form:
1967 NFL Championship Game
|
icy via predicate surface "fieldCondition" ⓘ |
| Beal conjecture | A,B,C,x,y,z are positive integers via predicate surface "conditionOnVariables" ⓘ |
| Erdős–Straus conjecture | x, y, z are positive integers via predicate surface "variableConstraint" ⓘ |
| Erdős–Straus conjecture | n is an integer with n ≥ 2 via predicate surface "variableConstraint" ⓘ |
| The Mud Bowl | muddy via predicate surface "fieldCondition" ⓘ |
| The Mud Bowl | waterlogged via predicate surface "fieldCondition" ⓘ |
| Hurwitz zeta function | Re(a) > 0 via predicate surface "definingConditionOnParameter" ⓘ |