isQuotientOf

P39249
predicate

Indicates that one quantity is the result of dividing another quantity by a specified divisor.

All labels observed (5)

Label Occurrences
isQuotientOf canonical 6
isRatioOf 2
hasQuotientByIdeal 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: isQuotientOf
Generated description
Indicates that one quantity is the result of dividing another quantity by a specified divisor.

Sample triples (11)

Subject Object
Klein quartic hyperbolic plane by a Fuchsian group
E(n) O(n) via predicate surface "hasQuotientByNormalSubgroup"
Lie ring Lie ring quotient via predicate surface "hasQuotientByIdeal"
modular group PSL(2,Z)
surface form: PSL(2,ℤ)
SL(2,ℤ)
SL(2,C) Lorentz group via predicate surface "quotientByCenterIsIsomorphicTo"
surface form: SO^+(3,1)
PSL(2,7) SL(2,7)
golden ratio diagonal to side of a regular pentagon via predicate surface "isRatioOf"
golden ratio side to smaller segment in golden section division via predicate surface "isRatioOf"
PSL(2,ℤ/Nℤ) SL(2,ℤ/Nℤ)
PSL(2,ℤ/Nℤ) PSL(2,ℤ/Mℤ) when M is a multiple of N via reduction
Hurwitz surfaces
surface form: Hurwitz surface
hyperbolic plane