Individual: Angle_Bisector

http://www.inter2geo.eu/2008/ontology/GeoSkills#Angle_Bisector

Usage

Characterize_points_of_angle_bisector_by_equidistance hasTopic Angle_Bisector
Construct_inscribed_circle_in_triangle hasTopic Angle_Bisector
Justify_construction_recipe_of_angle_bisector hasTopic Angle_Bisector
Know_angle_bisector_definition hasTopic Angle_Bisector
Know_intersection_of_three_angle_bisectors_in_triangle hasTopic Angle_Bisector
Prove_construction_recipe_of_angle_bisector hasTopic Angle_Bisector
Use_angle_bisector_definition hasTopic Angle_Bisector
Angle_Bisector subClassOf Straight_Line
Angle_Bisector_r type Angle_Bisector