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

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"