equalityCondition
P52973
predicate
Indicates that two values, expressions, or attributes must be exactly the same for the condition to be satisfied.
All labels observed (10)
| Label | Occurrences |
|---|---|
| equalityCondition canonical | 15 |
| exampleAssertion | 3 |
| valueCondition | 3 |
| equalityHoldsIf | 2 |
| statesEqualityBetween | 2 |
| equalityBasedOn | 1 |
| equalityCaseDescription | 1 |
| hasEqualityCondition | 1 |
| meanSpacingCondition | 1 |
| βEquals1Implies | 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: equalityCondition
Generated description
Indicates that two values, expressions, or attributes must be exactly the same for the condition to be satisfied.
Sample triples (30)
| Subject | Object |
|---|---|
| Hölder inequality | |f|^p and |g|^q are proportional almost everywhere ⓘ |
| Hölder inequality | for sequences, |aᵢ|^p and |bᵢ|^q are proportional ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
random variable is almost surely constant ⓘ |
|
Jensen inequality
surface form:
Jensen's inequality
|
convex function is affine on the support of the random variable ⓘ |
| Wigner surmise | ∫₀^∞ s P(s) ds = 1 via predicate surface "meanSpacingCondition" ⓘ |
| Should.js | (1).should.be.exactly(1) via predicate surface "exampleAssertion" ⓘ |
| Should.js | user.should.have.property('name') via predicate surface "exampleAssertion" ⓘ |
| Should.js | promise.should.be.rejected() via predicate surface "exampleAssertion" ⓘ |
| Cramér–Rao bound | achieved by efficient estimators ⓘ |
| Cramér–Rao bound | achieved by maximum likelihood estimator under regularity conditions ⓘ |
| Legendre symbol | (a/p)=0 if p divides a via predicate surface "valueCondition" ⓘ |
| Legendre symbol | (a/p)=1 if a is a quadratic residue modulo p and a not congruent 0 mod p via predicate surface "valueCondition" ⓘ |
| Legendre symbol | (a/p)=-1 if a is a quadratic non-residue modulo p via predicate surface "valueCondition" ⓘ |
| Cauchy–Schwarz inequality | equality holds if and only if the two vectors are linearly dependent ⓘ |
| Cauchy–Schwarz inequality | equality holds if one vector is a scalar multiple of the other ⓘ |
| Schwarz lemma | if |f'(0)| = 1 then f is a rotation ⓘ |
| Schwarz lemma | if |f(z)| = |z| for some nonzero z then f is a rotation ⓘ |
| Schwarz lemma | f(z) = e^{iθ} z for some real θ via predicate surface "equalityCaseDescription" ⓘ |
| Clausius theorem | reversible cyclic process ⓘ |
| Hadamard inequality | rows are pairwise orthogonal ⓘ |
| Hadamard inequality | columns are pairwise orthogonal ⓘ |
| Hadamard inequality | matrix is diagonal up to unitary transformation ⓘ |
|
MIP equals NEXP
surface form:
MIP = NEXP
|
MIP via predicate surface "statesEqualityBetween" ⓘ |
|
MIP equals NEXP
surface form:
MIP = NEXP
|
NEXP via predicate surface "statesEqualityBetween" ⓘ |
| Young's inequality | a^p = b^q via predicate surface "equalityHoldsIf" ⓘ |
| Young's inequality | a^p/p = b^q/q via predicate surface "equalityHoldsIf" ⓘ |
| Dyson index β | presence of time-reversal symmetry and integer spin via predicate surface "βEquals1Implies" ⓘ |
| android.print.PrinterId | service name and local ID via predicate surface "equalityBasedOn" ⓘ |
| Bessel inequality | orthonormal system is complete (Parseval identity holds) ⓘ |
| Schwarz–Pick theorem | equality holds if and only if f is a Möbius automorphism of the unit disk via predicate surface "hasEqualityCondition" ⓘ |