AI-created image
Statements (54)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:geometry
|
| gptkbp:basedOn |
axioms
|
| gptkbp:contrastsWith |
gptkb:noncommutative_geometry
|
| gptkbp:dimensions |
2
3 |
| gptkbp:field |
gptkb:mathematics
|
| gptkbp:focusesOn |
solid geometry
plane geometry |
| gptkbp:hasAxiom |
given a line and a point not on it, there is exactly one parallel line through the point
a circle can be drawn with any center and radius all right angles are equal a straight line segment can be extended indefinitely through any two points, there is exactly one straight line |
| gptkbp:influenced |
mathematical education
modern geometry |
| gptkbp:introducedIn |
gptkb:Elements
|
| gptkbp:namedAfter |
gptkb:Euclid
|
| gptkbp:originatedIn |
Ancient Greece
|
| gptkbp:studies |
angles
solids circles lines points polygons triangles |
| gptkbp:theory |
gptkb:angle_bisector_theorem
gptkb:Pythagorean_theorem area formulas circle theorems congruence criteria exterior angles of polygons interior angles of polygons midpoint theorem similarity criteria triangle sum theorem volume formulas |
| gptkbp:usedIn |
gptkb:computer_graphics
gptkb:architecture gptkb:art gptkb:astronomy gptkb:navigation cartography engineering physics robotics construction surveying |
| gptkbp:uses |
parallel postulate
|
| gptkbp:bfsParent |
gptkb:Erlangen_program
gptkb:Euclid gptkb:Klein_geometry gptkb:La_Géométrie |
| gptkbp:bfsLayer |
5
|
| https://www.w3.org/2000/01/rdf-schema#label |
Euclidean geometry
|