hasPrimeDivisor
P77141
predicate
Indicates that one entity (typically a number) has another entity as a prime number that divides it without remainder.
All labels observed (2)
| Label | Occurrences |
|---|---|
| hasPrimeDivisor canonical | 58 |
| usesPrimeFactors | 2 |
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: hasPrimeDivisor
Generated description
Indicates that one entity (typically a number) has another entity as a prime number that divides it without remainder.
Sample triples (60)
| Subject | Object |
|---|---|
| Co1 | 2 ⓘ |
| Co1 | 3 ⓘ |
| Co1 | 5 ⓘ |
| Co1 | 7 ⓘ |
| Co1 | 11 ⓘ |
| Co1 | 13 ⓘ |
| Co1 | 23 ⓘ |
| Co1 | 29 ⓘ |
| Co2 | 2 ⓘ |
| Co2 | 3 ⓘ |
| Co2 | 5 ⓘ |
| Co2 | 7 ⓘ |
| Co2 | 11 ⓘ |
| Co2 | 23 ⓘ |
| Pythagorean tuning | 2 via predicate surface "usesPrimeFactors" ⓘ |
| Pythagorean tuning | 3 via predicate surface "usesPrimeFactors" ⓘ |
| Harada–Norton group | 2 ⓘ |
| Harada–Norton group | 3 ⓘ |
| Harada–Norton group | 5 ⓘ |
| Harada–Norton group | 7 ⓘ |
| Harada–Norton group | 11 ⓘ |
| Harada–Norton group | 19 ⓘ |
| Harada–Norton group | 31 ⓘ |
| Fischer–Griess Monster | 2 ⓘ |
| Fischer–Griess Monster | 3 ⓘ |
| Fischer–Griess Monster | 5 ⓘ |
| Fischer–Griess Monster | 7 ⓘ |
| Fischer–Griess Monster | 11 ⓘ |
| Fischer–Griess Monster | 13 ⓘ |
| Fischer–Griess Monster | 17 ⓘ |
| Fischer–Griess Monster | 19 ⓘ |
| Fischer–Griess Monster | 23 ⓘ |
| Fischer–Griess Monster | 29 ⓘ |
| Fischer–Griess Monster | 31 ⓘ |
| Fischer–Griess Monster | 41 ⓘ |
| Fischer–Griess Monster | 47 ⓘ |
| Fischer–Griess Monster | 59 ⓘ |
| Fischer–Griess Monster | 71 ⓘ |
| M | 2 ⓘ |
| M | 3 ⓘ |
| M | 5 ⓘ |
| M | 7 ⓘ |
| M | 11 ⓘ |
| M | 13 ⓘ |
| M | 17 ⓘ |
| M | 19 ⓘ |
| M | 23 ⓘ |
| M | 29 ⓘ |
| M | 31 ⓘ |
| M | 41 ⓘ |