assumptionOnDomain

P26078
predicate

Indicates that a particular assumption or constraint is specified to hold over a given domain or set of entities.

Try in SPARQL

All labels observed (5)

Label Occurrences
domainOfVariable 5
domainOfDiscourse 3
assumptionOnCategory 2

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" ⓘ