satisfiesInequality

P105609
predicate

Indicates that one quantity or expression fulfills the condition specified by a given inequality relation (such as <, ≤, >, or ≥).

Try in SPARQL

All labels observed (6)

Label Occurrences
givesInequality 2
hasInequality 2
inequalityDirection 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: satisfiesInequality
Generated description
Indicates that one quantity or expression fulfills the condition specified by a given inequality relation (such as <, ≤, >, or ≥).

Sample triples (8)

Subject Object
Dirichlet series σ_c ≤ σ_u ≤ σ_a ⓘ
Clausius theorem less than or equal to zero via predicate surface "inequalityDirection" ⓘ
Clausius theorem irreversible cyclic process via predicate surface "strictInequalityCondition" ⓘ
Hamming bound M * V_q(n,t) ≤ q^n via predicate surface "isInequality" ⓘ
Lusternik–Schnirelmann category cat(X) ≥ cup-length(X) + 1 via predicate surface "hasInequality" ⓘ
Riesz basis A‖c‖² ≤ ‖∑ c_n x_n‖² ≤ B‖c‖² for some 0 < A ≤ B < ∞ via predicate surface "hasInequality" ⓘ
Clifford’s theorem l(D) ≤ 1 + deg(D)/2 for special divisors D via predicate surface "givesInequality" ⓘ
Clifford’s theorem h^0(C, O_C(D)) ≤ 1 + deg(D)/2 for special divisors D on a curve C via predicate surface "givesInequality" ⓘ