hasMultiplicationFormula
P71174
predicate
Indicates that there exists a specific multiplication-based formula or rule that defines or computes the value or behavior of the related entity.
All labels observed (7)
| Label | Occurrences |
|---|---|
| multiplicativeProperty | 3 |
| hasMultiplicationDefinedBy | 1 |
| hasMultiplicationFormula canonical | 1 |
| hasMultiplicationRule | 1 |
| isMultiplicativeFor | 1 |
| multiplicativeDefinition | 1 |
| multiplicativeFactor | 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: hasMultiplicationFormula
Generated description
Indicates that there exists a specific multiplication-based formula or rule that defines or computes the value or behavior of the related entity.
Sample triples (9)
| Subject | Object |
|---|---|
| Gamma function | Gauss multiplication formula ⓘ |
| Legendre symbol | (ab/p)=(a/p)(b/p) via predicate surface "multiplicativeProperty" ⓘ |
| Legendre symbol | (a^2/p)=1 if p does not divide a via predicate surface "multiplicativeProperty" ⓘ |
| Jordan’s totient functions | J_k(mn) = J_k(m)J_k(n) if gcd(m,n)=1 via predicate surface "multiplicativeDefinition" ⓘ |
| Jordan’s totient functions | J_k(n)/n^k = ∏_{p|n}(1 - p^{-k}) via predicate surface "multiplicativeFactor" ⓘ |
| Ramanujan tau function | τ(mn) = τ(m)τ(n) for gcd(m,n)=1 via predicate surface "multiplicativeProperty" ⓘ |
| affine group of R^n | (A,b)(C,d) = (AC, A d + b) via predicate surface "hasMultiplicationRule" ⓘ |
| Euler class | direct sum of oriented bundles of odd rank under suitable conditions via predicate surface "isMultiplicativeFor" ⓘ |
| Temperley–Lieb algebra | concatenation of diagrams via predicate surface "hasMultiplicationDefinedBy" ⓘ |