CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isoceles arg1" "arg2 of an obtuse arg1" "arg2 of a right arg1" "arg2 are the legs of arg1" "arg2 of the equilateral arg1" ] using (triangle, altitudes)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
NELL has only weak evidence for items listed in grey
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 of an isoceles arg2" "arg1 of an obtuse arg2" "arg1 of a right arg2" "arg1 of any two sides of arg2" "arg1 of the equilateral arg2" ] using (altitudes, triangle)