Object Property: converseTheorem

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

Property Characteristics

functional (converseTheorem)
inverse-functional (converseTheorem)
symmetric (converseTheorem)

Domains

Theorem

Ranges

Theorem

Usage

converseTheorem inverse converseTheorem
If_a_line_is_perpendicular_to_two_lines_the_two_lines_are_parallel converseTheorem If_two_lines_are_parallel_a_perpendicular_line_to_one_of_them_is_also_perpendicular_to_the_other_one
If_two_lines_are_parallel_a_perpendicular_line_to_one_of_them_is_also_perpendicular_to_the_other_one converseTheorem If_a_line_is_perpendicular_to_two_lines_the_two_lines_are_parallel
InterceptTheoremConverse converseTheorem InterceptTheorem
Midpoint_line_in_triangle converseTheorem Midpoint_line_in_triangle_ConverseTheorem
PythagorasTheoremConverse converseTheorem PythagorasTheorem
Thales-Circle-Theorem converseTheorem Thales_Circle_Theorem_Converse
TriangleInterceptTheoremConverse converseTheorem TriangleInterceptTheorem