Statements (17)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Titan
gptkb:geometric_axiom |
| gptkbp:appliesTo |
gptkb:Euclidean_geometry
ordered geometry |
| gptkbp:describes |
incidence properties of points and lines
|
| gptkbp:field |
gptkb:geometry
|
| gptkbp:formedBy |
gptkb:Moritz_Pasch
1882 |
| gptkbp:partOf |
foundations of geometry
|
| gptkbp:relatedTo |
gptkb:Hilbert's_axioms
gptkb:Euclid's_postulates order axioms |
| gptkbp:state |
If a line enters a triangle through one side and does not pass through a vertex, it must exit through another side.
|
| gptkbp:bfsParent |
gptkb:Stephen_Mark_Pasch
gptkb:Moritz_Pasch |
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Pasch's axiom
|