assumptionOnDomain
P26078
predicate
Indicates that a particular assumption or constraint is specified to hold over a given domain or set of entities.
All labels observed (5)
| Label | Occurrences |
|---|---|
| domainOfVariable | 5 |
| domainOfDiscourse | 3 |
| assumptionOnCategory | 2 |
| assumptionOnDomain canonical | 1 |
| assumptionOnInterval | 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: assumptionOnDomain
Generated description
Indicates that a particular assumption or constraint is specified to hold over a given domain or set of entities.
Sample triples (12)
| Subject | Object |
|---|---|
| Glicksberg fixed-point theorem | nonempty compact convex subset ⓘ |
| Euler’s formula for complex exponentials | \theta \in \mathbb{R} via predicate surface "domainOfVariable" ⓘ |
| axiom of choice | collections of nonempty sets via predicate surface "domainOfDiscourse" ⓘ |
| Hardy–Ramanujan asymptotic formula | n \in \mathbb{N} via predicate surface "domainOfVariable" ⓘ |
| Fermat number | non‑negative integers via predicate surface "domainOfVariable" ⓘ |
| Playfair's axiom | points and lines in a Euclidean plane via predicate surface "domainOfDiscourse" ⓘ |
| Erdős–Straus conjecture | positive integers n ≥ 2 via predicate surface "domainOfVariable" ⓘ |
| Freyd–Mitchell embedding theorem | smallness of the abelian category via predicate surface "assumptionOnCategory" ⓘ |
| Freyd–Mitchell embedding theorem | abelian structure of the category via predicate surface "assumptionOnCategory" ⓘ |
| Cauchy’s mean value theorem | a < b via predicate surface "assumptionOnInterval" ⓘ |
| Skolem arithmetic | natural numbers via predicate surface "domainOfDiscourse" ⓘ |
| Hurwitz zeta function | complex numbers via predicate surface "domainOfVariable" ⓘ |