CMC @1105 (100.0%) on 25-mar-2018 [ SUFFIX=ngle 2.31477 SUFFIX=angle 2.10372 SUFFIX=gle 1.68474 LASTPREFIX=tria 1.64972 PREFIX=tria 1.64297 LASTPREFIX=trian 1.60079 PREFIX=trian 1.59967 FULL_POS=NN_NN -2.08059 WORDS -5.03810 CHARS -7.87198 ] using right_triangle
SEAL @802 (53.7%) on 08-jan-2014 [ 123 ] using right_triangle
CPL @1097 (99.8%) on 19-jan-2018 [ "square inscribed in _" "_ represents agriculture" "interior angles of _" "ABC be _" "area formula for _" "hypotenuse of _" "circle is inscribed in _" "right triangle is _" "angle measures in _" "side lengths of _" ] using right_triangle
CPL @1094 (99.2%) on 31-dec-2017 [ "angle measure of _" "_ is called the hypotenuse" "hypotenuse in _" "rectangle is _" "unknown angle in _" "hypoteneuse of _" "hypotenuse on _" "sun formed _" "_ is isosceles" "top vertex of _" "_ using the Pythagorean theorem" "rhombus from _" "side length of _" "triangle ABC is _" "side lengths in _" "_ inscribed inside" "_ containing the angle" "_ using the trigonometric functions" "_ given the lengths" "Pythagorean theorem for _" "apex angle of _" "edge length of _" "_ has a right angle" "interior angles of _" "third vertex of _" "_ becomes a square" "circumcenter of _" "Triangle ABC is _" "ABC be _" "circle inscribed in _" "internal angles of _" "orthocenter of _" "area formula for _" "hypotenuse of _" "circle is inscribed in _" "hypothenuse of _" "horizontal sides of _" "_ are congruent" "angle measure in _" "_ having sides" "right triangle is _" "acute angle in _" "angle measures in _" "_ has vertices" "geometric figure of _" "side lengths of _" "_ is inscribed inside" ] using right_triangle
CMC @1115 (72.8%) on 26-aug-2018 [ SHORT_WORDSHAPE=a 3.29376 SUFFIX=ngle 2.54393 SUFFIX=gle 2.29049 SUFFIX=angle 2.15645 SUFFIX=le 2.14345 PREFIX=tria 2.04364 PREFIX=trian 1.92041 POS=NN -6.50639 CHARS -7.34203 WORDS -8.68652 ] using right_triangle
SEAL @163 (65.3%) on 13-nov-2010 [ 123456 ] using right_triangle
CPL @1109 (98.4%) on 12-jun-2018 [ "arg2 with sides of equal arg1" "arg2 with hypotenuse arg1" "arg2 with legs of arg1" "arg2 is enough to calculate arg1" "arg2 with a hypotenuse of arg1" "arg2 equals the square of arg1" ] using (length, right_triangle)
CPL @1109 (96.9%) on 12-jun-2018 [ "arg2 opposite the right arg1" "arg2 and their included arg1" "arg2 with an obtuse arg1" "arg2 contains a right arg1" "arg2 has one right arg1" ] using (angle, right_triangle)
CPL @1107 (96.9%) on 24-may-2018 [ "arg1 of an isosceles arg2" "arg1 and the angles of arg2" "arg1 and the hypotenuse of arg2" "arg1 of a right arg2" "arg1 of a Pythagorean arg2" ] using (sides, right_triangle)
CPL @1107 (93.8%) on 24-may-2018 [ "arg1 of a Pythagorean arg2" "arg1 and perimeter of arg2" "arg1 of an isosceles arg2" "arg1 of isosceles arg2" ] using (area, right_triangle)
CPL @1109 (93.8%) on 12-jun-2018 [ "arg1 is an isosceles arg2" "arg1 an isosceles arg2" "arg1 and the hypotenuse of arg2" "arg1 is the longest side of arg2" ] using (triangle, right_triangle)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
NELL has only weak evidence for items listed in grey
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 are congruent to the corresponding arg2" "arg1 are congruent to two arg2" "arg1 given the lengths of arg2" "arg1 are congruent to arg2" "arg1 with two equal arg2" "arg1 whose other two arg2" ] using (right_triangle, legs)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (98.4%) on 20-jul-2018 [ "arg1 opposite the right arg2" "arg1 containing the right arg2" "arg1 and their included arg2" "arg1 with an obtuse arg2" "arg1 contains a right arg2" "arg1 has one right arg2" ] using (right_triangle, angle)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg1 and the hypotenuse of arg2" "arg1 to the hypotenuse of arg2" "arg1 or an obtuse arg2" ] using (right_triangle, triangle)
CPL @1112 (96.9%) on 20-jul-2018 [ "arg2 of an isosceles arg1" "arg2 and the angles of arg1" "arg2 and the hypotenuse of arg1" "arg2 of a right arg1" "arg2 of a Pythagorean arg1" ] using (right_triangle, sides)
CPL @1112 (93.8%) on 20-jul-2018 [ "arg2 of a rectangle or arg1" "arg2 of a Pythagorean arg1" "arg2 of an isosceles arg1" "arg2 of isosceles arg1" ] using (right_triangle, area)
CPL @1109 (87.5%) on 12-jun-2018 [ "arg2 are congruent to arg1" "arg2 are congruent to the corresponding arg1" "arg2 equals the square of arg1" ] using (hypotenuse, right_triangle)