theoremStates
P186750
predicate
Indicates that a theorem formally asserts or expresses a particular statement, claim, or proposition.
All labels observed (1)
| Label | Occurrences |
|---|---|
| theoremStates 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: theoremStates
Generated description
Indicates that a theorem formally asserts or expresses a particular statement, claim, or proposition.
Sample triples (1)
| Subject | Object |
|---|---|
| Miquel point | for any triangle and any choice of one point on each side, the three circumcircles of the triangles formed by the vertices and these points are concurrent at the Miquel point ⓘ |