CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
NELL has only weak evidence for items listed in grey
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of the equilateral arg1" "arg2 in an isosceles arg1" "arg2 of an isosceles arg1" "arg2 of an isoceles arg1" "arg2 of isosceles arg1" ] using (triangle, base_angles)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of the equilateral arg2" "arg1 in an isosceles arg2" "arg1 of an isosceles arg2" "arg1 of an isoceles arg2" "arg1 of isosceles arg2" ] using (base_angles, triangle)