hasParallelPostulateFormulation
P131877
predicate
Indicates that one formulation of the parallel postulate corresponds to or can be expressed equivalently as another formulation.
Observed surface forms (1)
| Surface form | Occurrences |
|---|---|
| parallelLineCountInHyperbolicGeometry | 1 |
Sample triples (2)
| Subject | Object |
|---|---|
| Euclidean geometry | given a line and a point not on it there is exactly one parallel line through the point ⓘ |
| Playfair's axiom | infinitely many parallels through a point not on a given line via predicate surface "parallelLineCountInHyperbolicGeometry" ⓘ |