formulaType
P79480
predicate
Indicates the specific kind or category of formula associated with an entity or expression.
All labels observed (4)
| Label | Occurrences |
|---|---|
| formulaType canonical | 3 |
| hasFormulaType | 2 |
| opticalFormulaType | 2 |
| formulaStructure | 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: formulaType
Generated description
Indicates the specific kind or category of formula associated with an entity or expression.
Sample triples (8)
| Subject | Object |
|---|---|
| Jacobi’s four-square theorem | multiplicative in n ⓘ |
| Fourier series | real Fourier series via predicate surface "hasFormulaType" ⓘ |
| Fourier series | complex Fourier series via predicate surface "hasFormulaType" ⓘ |
| Max-3-SAT | conjunction of 3-literal clauses via predicate surface "formulaStructure" ⓘ |
| Hirzebruch signature theorem | characteristic number formula ⓘ |
| 3-SAT | conjunction of clauses ⓘ |
| Carl Zeiss Tessar | four-element lens via predicate surface "opticalFormulaType" ⓘ |
| Carl Zeiss Tessar | three-group lens via predicate surface "opticalFormulaType" ⓘ |