geometricConsequence
P142747
predicate
Indicates that one geometric fact, configuration, or property logically follows from or is implied by another within a geometric context.
Sample triples (3)
| Subject | Object |
|---|---|
| Playfair's axiom | existence of similar figures of arbitrary size ⓘ |
| Playfair's axiom | area of a triangle determined by its base and height in Euclidean geometry ⓘ |
| Playfair's axiom | angle sum of polygons depends only on number of sides in Euclidean geometry ⓘ |