CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 is an equilateral arg1" "arg2 of a right arg1" "arg2 of an equilateral arg1" "arg2 in an equilateral arg1" ] using (triangle, faces)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
NELL has only weak evidence for items listed in grey
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)
CPL @1108 (96.9%) on 07-jun-2018 [ "arg1 is an equilateral arg2" "arg1 of a right arg2" "arg1 of an equilateral arg2" "arg1 in an equilateral arg2" "arg1 is a scalene arg2" ] using (faces, triangle)