domainOfVariables
P64857
predicate
Indicates that the predicate specifies the set or type of values that the variables involved in an expression or formula are allowed to take.
All labels observed (4)
| Label | Occurrences |
|---|---|
| domainOfVariables canonical | 4 |
| domainOfFormula | 1 |
| domainOfQuantification | 1 |
| hasVariableDomain | 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: domainOfVariables
Generated description
Indicates that the predicate specifies the set or type of values that the variables involved in an expression or formula are allowed to take.
Sample triples (7)
| Subject | Object |
|---|---|
| Fermat's Last Theorem | integers ⓘ |
| Fermat's Last Theorem | whole numbers ⓘ |
| Jacobi’s four-square theorem | n ∈ ℕ via predicate surface "domainOfFormula" ⓘ |
| Ramanujan–Nagell equation | integers ⓘ |
| fundamental theorem of arithmetic | set of positive integers greater than 1 via predicate surface "domainOfQuantification" ⓘ |
| Max-3-SAT | Boolean variables via predicate surface "hasVariableDomain" ⓘ |
| Erdős–Moser equation | positive integers ⓘ |