CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
NELL has only weak evidence for items listed in grey
SEAL @526 (75.0%) on 07-mar-2012 [ 12 ] using (math, geometry)
CPL @1103 (96.9%) on 06-mar-2018 [ "arg1 to algebra and arg2" "arg1 through algebra and arg2" "arg1 courses in algebra and arg2" "arg1 beyond algebra and arg2" "arg1 called fractal arg2" ] using (math, geometry)
CPL @1112 (99.6%) on 20-jul-2018 [ "arg2 of a right arg1" "arg2 of a right angle arg1" "arg2 of an isosceles arg1" "arg2 of an isosceles right arg1" "arg2 of isosceles arg1" "arg2 of the equilateral arg1" "arg2 of an equilateral arg1" "arg2 of the isosceles arg1" ] using (triangle, geometry)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)
CPL @1107 (99.8%) on 24-may-2018 [ "arg1 of a right arg2" "arg1 of a right angle arg2" "arg1 of an isosceles arg2" "arg1 of an isosceles right arg2" "arg1 of isosceles arg2" "arg1 of the equilateral arg2" "arg1 of an equilateral arg2" "arg1 of the isosceles arg2" "arg1 the equilateral arg2" ] using (geometry, triangle)